ようこそ
ゲスト
さん
ログイン
OPAC
その他
ヘルプ
入力補助
English
横断検索
図書館サービス
電子リソースを探す
シラバス掲載図書(品川)
シラバス掲載図書(越中島)
図書館所蔵雑誌リスト
図書新着案内
ベストリーディング
MyLibrary
CLOSE
このページのリンク
コピー
他の検索サイト
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
CLOSE
»
Introduction to combinatory logic / by Sören Stenlund
(
Filosofiska studier utgivna av Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet
;
nr. 11
)
所蔵情報を非表示
配架場所
巻 次
請求記号
資料番号
原簿番号
状 態
ISBN
予約
指定図書
仮想書架
科学文化論(品)
116/St4
0187076871
102642
仮想書架
仮想書架
書誌詳細を非表示
出版情報
Uppsala : [Uppsala universitetet, Filosofiska föreningen och Filosofiska institutionen] , 1971
大きさ
104 leaves ; 30 cm
一般注記
Cover title
Bibliography: leaves 101-104
著者標目
*Stenlund, Sören
件 名
LCSH:
Combinatory logic
分 類
LCC:
BC135
DC:
511/.3
本文言語
英語
書誌ID
TB10013718
NCID
BA84248137
類似資料
1
Temporal logic / [by] Nicholas Rescher and Alasdair Urquhart
: us,: gw
2
Logic for mathematicians / J. Barkley Rosser
3
Logic Colloquium '69 : Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969 / Ed. by R.O. Gandy and C.M.E. [sic] Yates
4
Logical writings / Jacques Herbrand ; edited by Warren D. Goldfarb
5
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / edited by Hugues Leblanc
6
Elementary logic / Benson Mates
7
Combinatory logic / Haskell B. Curry, Robert Feys ; with two sections by William Craig
v. 1,v. 2
8
Advanced logic for applications / Richard E. Grandy
9
Selected works, Jan Lukasiewicz / edited by L. Borkowski ; [translated from the Polish by O. Wojtasiewicz]
10
What is mathematical logic ? / J.N. Crossley ... [et al.]