ようこそ
ゲスト
さん
ログイン
OPAC
その他
ヘルプ
入力補助
English
横断検索
図書館サービス
電子リソースを探す
シラバス掲載図書(品川)
シラバス掲載図書(越中島)
図書館所蔵雑誌リスト
図書新着案内
ベストリーディング
MyLibrary
検索結果一覧に戻る
CLOSE
このページのリンク
コピー
他の検索サイト
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
CLOSE
»
The limits of logic : higher-order logic and the Löwenheim-Skolem theorem / edited by Stewart Shapiro
(
The international research library of philosophy
;
18 . The philosophy of logic, language and mind
)
所蔵情報を非表示
配架場所
巻 次
請求記号
資料番号
原簿番号
状 態
ISBN
予約
指定図書
仮想書架
科学文化論(品)
116/Sh12/X
1997012960
199701296
仮想書架
仮想書架
書誌詳細を非表示
出版情報
Aldershot, Hants ; Brookfield, Vt. : Dartmouth , c1996
大きさ
xxii, 525 p. ; 25 cm
一般注記
Includes bibliographical references and index
著者標目
Shapiro, Stewart, 1951-
件 名
LCSH:
Logic, Symbolic and mathematical
分 類
LCC:
BC135
DC20:
160
NDC8:
116
本文言語
英語
書誌ID
TY00010101
ISBN
1855217317
NCID
BA28674412
巻冊次
ISBN:1855217317
目次/あらすじ
類似資料
1
Modern logic : a text in elementary symbolic logic / Graeme Forbes
pbk. : alk. paper
2
A study of logics / John P. Cleave
3
Modern formal logic / Thomas J. McKay
4
The Logical enterprise / Alan Ross Anderson, Ruth Barcan Marcus, and R. M. Martin, editors ; contributors, Alan Ross Anderson ... [et al.]
5
Grundzüge der theoretischen Logik / von D. Hilbert und W. Ackermann
6
Einführung in die operative Logik und Mathematik / Paul Lorenzen
7
Tractatus logico-philosophicus ; Tagebücher 1914-1916 ; Philosophische Untersuchungen / Ludwig Wittgenstein
8
Logic for mathematicians / J. Barkley Rosser
9
Introduction to symbolic logic / John L. Pollock
10
Introduction to symbolic logic / by James D. Carney