ようこそ
ゲスト
さん
ログイン
OPAC
その他
ヘルプ
入力補助
English
横断検索
図書館サービス
電子リソースを探す
シラバス掲載図書(品川)
シラバス掲載図書(越中島)
図書館所蔵雑誌リスト
図書新着案内
ベストリーディング
MyLibrary
CLOSE
このページのリンク
コピー
他の検索サイト
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
CLOSE
»
Introduction to mathematical logic / by Alonzo Church
(
Princeton mathematical series
;
17
)
所蔵情報を非表示
配架場所
巻 次
請求記号
資料番号
原簿番号
状 態
ISBN
予約
指定図書
仮想書架
越中島図書館 / 越中島会館
vol. 1.
410.8/P 1/17.2
50000087525
87525
0691079846
仮想書架
仮想書架
応用数学(越)
vol. 1.
410.8/P 1/17.1
50000085284
85284
0691079846
仮想書架
仮想書架
書誌詳細を非表示
出版情報
Princeton : Princeton University Press , 1956
大きさ
ix, 378 p. ; 24 cm
一般注記
Errata: p. 377-378
著者標目
*Church, Alonzo, 1903-
件 名
LCSH:
Logicm Symbolc and mathematical
分 類
LCC:
BC135
本文言語
英語
書誌ID
TB00098765
ISBN
0691079846
NCID
BA02582545
巻冊次
vol. 1. ; ISBN:0691079846
目次/あらすじ
類似資料
1
Grundzüge der theoretischen Logik / von D. Hilbert und W. Ackermann
2
Einführung in die operative Logik und Mathematik / Paul Lorenzen
3
Tractatus logico-philosophicus ; Tagebücher 1914-1916 ; Philosophische Untersuchungen / Ludwig Wittgenstein
4
Logic for mathematicians / J. Barkley Rosser
5
Introduction to symbolic logic / John L. Pollock
6
Introduction to symbolic logic / by James D. Carney
7
Logic : techniques of formal reasoning / Donald Kalish, Richard Montague
8
Understanding symbolic logic / [by] Gerald J. Massey
9
A study of logics / John P. Cleave
10
Elementary symbolic logic / William Gustason, Dolph E. Ulrich