Introduction to symbolic logic and its applications

フォーマット:

図書

責任表示:

by Rudolf Carnap ; translated by William H. Meyer and John Wilkinson

言語:

英語

出版情報:

New York : Dover, 1958

形態:

xiv, 241 p. : ill. ; 21 cm

著者名:

書誌ID:

BA02512277

ISBN:

9780486604534 [0486604535]

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

その他の標題:	Einführung in die symbolische Logik
主題:	Logic, Symbolic and mathematical
分類・件名:	LCC : BC135 DDC : 164 NDC6 : 116.3 NDC8 : 116.3 LCSH : Logic, Symbolic and mathematical
LCCN:	58012611
注記:	Bibliography: p. 231-234 Includes indexes

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Introduction to semantics and formalization of logic Carnap, Rudolf, 1891-1970 Harvard University Press	7 図書 A mathematical introduction to logic Enderton, Herbert B Academic Press
2 図書 Introduction to symbolic logic Basson, A.h., O'Connor, D.J. (Daniel John), 1914- University Tutorial Press	8 図書 Introduction to mathematical logic Church, Alonzo, 1903- Princeton University Press
3 図書 An introduction to symbolic logic Langer, Susanne Katherina Knauth, 1895-1985 Dover Publications	9 図書 Wittgenstein's Tractatus : an introduction Mounce, H. O. University of Chicago Press
4 図書 Introduction to symbolic logic Basson, A. H., O'Connor, D. J. (Daniel John), 1914- University Tutorial Press	10 図書 The logical syntax of language Carnap, Rudolf, 1891-1970, Smeaton, Amethe Routledge and Kegan Paul
5 図書 Symbolic logic Lewis, Clarence Irving, 1883-1964, Langford, Cooper Harold, 1895- Dover	11 図書 Toposes and local set theories : an introduction Bell, J. L. (John Lane) Dover Publications
6 図書 An introduction to probability theory and its applications Feller, William, 1906-1970 Wiley, Tuttle	12 図書 Turing's World 3.0 : an introduction to computability theory : for the Macintosh Barwise, Jon, Etchemendy, John, 1952- CSLI, Center for the Study of Language and Information