close
1.

図書

図書
by Charles F. Miller, III
出版情報: Princeton, N.J. : Princeton University Press , Tokyo : University of Tokyo Press, 1971
シリーズ名: Annals of mathematics studies ; no. 68
Tokyo University international edition ; no. 65
所蔵情報: loading…
2.

図書

図書
Allan Ramsay
出版情報: Cambridge ; New York : Cambridge University Press, 1991
シリーズ名: Cambridge tracts in theoretical computer science ; 6
所蔵情報: loading…
3.

図書

図書
[by] Patrick Suppes and Shirley Hill
出版情報: New York : Blaisdell Pub. Co, [1964]
シリーズ名: A Blaisdell book in the pure and applied sciences
所蔵情報: loading…
4.

図書

図書
Albert Monjallon ; translated by Peter Fantham
出版情報: Edinburgh ; London : Oliver & Boyd, 1967
シリーズ名: University mathematical texts ; 34
所蔵情報: loading…
5.

図書

図書
[by] Max D. Larsen
出版情報: Reading, Mass. : Addison-Wesley Pub. Co, c1970
所蔵情報: loading…
6.

図書

図書
Jefferson C. Boyce
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1975
所蔵情報: loading…
7.

図書

図書
edited by C. A. Hooker
出版情報: Dordrecht ; Boston : D. Reidel Pub. Co., c1979
シリーズ名: The University of Western Ontario series in philosophy of science ; v. 5 . The logico-algebraic approach to quantum mechanics ; v. 2
所蔵情報: loading…
8.

図書

図書
by Ludwig Wittgenstein ; with an introduction by Bertrand Russell
出版情報: London : Routledge & Kegan Paul, 1955
シリーズ名: International library of psychology, philosophy and scientific method
所蔵情報: loading…
9.

図書

図書
edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson
出版情報: Oxford : Clarendon Press, 1998
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 5
所蔵情報: loading…
10.

図書

図書
by R.B. Kershner [and] L.R. Wilcox
出版情報: New York : Ronald Press, [1950]
所蔵情報: loading…
11.

図書

図書
K.E. Hirst [and] F. Rhodes
出版情報: London : Allen and Unwin, 1971
シリーズ名: Mathematical studies ; no. 5
所蔵情報: loading…
12.

図書

図書
Ken McAloon, Carol Tretkoff
出版情報: New York : Wiley, c1996
シリーズ名: Wiley-Interscience series in discrete mathematics and optimization
所蔵情報: loading…
13.

図書

図書
by Max Black
出版情報: London : Routledge, 1933
シリーズ名: International library of psychology, philosophy and scientific method
所蔵情報: loading…
14.

図書

図書
Donald Kalish, Richard Montague
出版情報: New York : Harcourt, Brace & World, c1964
所蔵情報: loading…
15.

図書

図書
von Abraham A. Fraenkel
出版情報: Berlin : Duncker & Humblot, c1959
シリーズ名: Erfahrung und Denken ; Bd. 2
所蔵情報: loading…
16.

図書

図書
James L. Hein
出版情報: Boston : Jones and Bartlett, c1995
所蔵情報: loading…
17.

図書

図書
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1994
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 2
所蔵情報: loading…
18.

図書

図書
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, D. Nute
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1994
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 3
所蔵情報: loading…
19.

図書

図書
Thierry Scheurer
出版情報: Wokingham, England ; Reading, Mass. : Addison-Wesley, c1994
シリーズ名: International computer science series
所蔵情報: loading…
20.

図書

図書
Paul J. Cohen
出版情報: New York ; Amsterdam : W.A. Benjamin, 1966
所蔵情報: loading…
21.

図書

図書
David Bostock
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1997
所蔵情報: loading…
22.

図書

図書
David Bostock
出版情報: Oxford : Clarendon Press, 1974-1979
所蔵情報: loading…
23.

図書

図書
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1993
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 1
所蔵情報: loading…
24.

図書

図書
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1993-1998
所蔵情報: loading…
25.

図書

図書
Rolf Schock
出版情報: Stockholm : Almqvist & Wiksell, [c1968]
所蔵情報: loading…
26.

図書

図書
Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker
出版情報: Englewood Cliffs, N.J. : Prentice-Hall International, c1980
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
27.

図書

図書
von D. Hilbert und W. Ackermann
出版情報: Berlin : Springer, 1928
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 27
所蔵情報: loading…
28.

図書

図書
Charles Castonguay
出版情報: Wien ; New York : Springer-Verlag, 1972
シリーズ名: Library of exact philosophy ; 9
所蔵情報: loading…
29.

図書

図書
edited by Henri Prade and Constantin V. Negoita
出版情報: Köln : TÜV Rheinland, c1986
シリーズ名: Interdisciplinary systems research ; 86
所蔵情報: loading…
30.

図書

図書
by S.N. Artemov ... [et al.] ; [translation edited by Ben Silver]
出版情報: Providence, R.I. : American Mathematical Society, c1987
シリーズ名: American Mathematical Society translations ; ser. 2, v. 135
所蔵情報: loading…
目次情報: 続きを見る
Solution of the problem of finite axiomatizability for theories that are categorical in all infinite powers B.I. Zilʹber
On a solution of the problem of finite axiomatizability for theories categorical in all infinite powers B.I. Zilʹber
On theories with a basis M.I. Bekenov
Gentzen systems of postulates for set theory V.E. Vailʹ
Arithmetically complete modal theories S.N. Artemov
On the complexity of shortest disjunctive normal forms of Boolean functions A.D. Korshunov
Solution of the problem of finite axiomatizability for theories that are categorical in all infinite powers B.I. Zilʹber
On a solution of the problem of finite axiomatizability for theories categorical in all infinite powers B.I. Zilʹber
On theories with a basis M.I. Bekenov
31.

図書

図書
Fred Kröger
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: EATCS monographs on theoretical computer science ; v. 8
所蔵情報: loading…
32.

図書

図書
Willard Van Orman Quine
出版情報: Cambridge, Mass : Technology Press of the Massachusetts Institute of Technology, [1960]
シリーズ名: Studies in communication
所蔵情報: loading…
33.

図書

図書
Harry C. Bunt
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985
シリーズ名: Cambridge studies in linguistics ; 42
所蔵情報: loading…
34.

図書

図書
by Arthur Prior
出版情報: Oxford ; Tokyo : Clarendon Press, c1967
所蔵情報: loading…
35.

図書

図書
Nicholas Rescher and Robert Brandom
出版情報: Totowa, N.J. : Rowman and Littlefield, c1979
シリーズ名: APQ library of philosophy
所蔵情報: loading…
36.

図書

図書
mit Einleitungen, Anmerkungen und Register herausgegeben von Gottfried Gabriel, Friedrich Kambartel, Christian Thiel
出版情報: Hamburg : F. Meiner, c1980
シリーズ名: Philosophische Bibliothek ; Bd. 321
所蔵情報: loading…
37.

図書

図書
B.V. Birjukov ; translated and edited by Ignacio Angelelli
出版情報: Dordrecht-Holland : D. Reidel, c1964
シリーズ名: Sovietica
所蔵情報: loading…
38.

図書

図書
by Rudolf Carnap ; [translated by Amethe Smeaton]
出版情報: London : Routledge & K. Paul, 1937
シリーズ名: International library of psychology, philosophy and scientific method
所蔵情報: loading…
39.

図書

図書
by Rudolf Carnap
出版情報: Chicago ; London : University of Chicago Press, 1958, c1956
シリーズ名: Phoenix books ; P30
所蔵情報: loading…
40.

図書

図書
Frank S. Beckman
出版情報: Reading, MA : Addison-Wesley, c1980
シリーズ名: The systems programming series
所蔵情報: loading…
41.

図書

図書
Jerome Malitz
出版情報: New York ; Tokyo : Springer-Verlag, c1979
シリーズ名: Undergraduate texts in mathematics
所蔵情報: loading…
42.

図書

図書
Douglas R. Hofstadter
出版情報: Harmondsworth : Penguin, 1980
所蔵情報: loading…
43.

図書

図書
Robert C. Moore
出版情報: New York : Garland Pub., 1980
シリーズ名: Outstanding dissertations in the computer sciences
所蔵情報: loading…
44.

図書

図書
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 385
所蔵情報: loading…
45.

図書

図書
Willard Van Orman Quine
出版情報: Cambridge, Mass. : M.I.T. Press, 1964, c1960
シリーズ名: The M.I.T. Press paperback series ; 4
所蔵情報: loading…
46.

図書

図書
Zohar Manna
出版情報: Philadelphia, Pa. : Society for Industrial and Applied Mathematics, 1980
シリーズ名: CBMS-NSF regional conference series in applied mathematics ; 31
所蔵情報: loading…
47.

図書

図書
David W. Cohen
出版情報: New York ; Tokyo : Springer-Verlag, c1989
シリーズ名: Problem books in mathematics / edited by K. Bencsáth and P.R. Halmos
所蔵情報: loading…
48.

図書

図書
[by] George Boolos [and] Richard Jeffrey
出版情報: Cambridge : Cambridge University Press, c1974
所蔵情報: loading…
49.

図書

図書
Richard E. Grandy
出版情報: Dordrecht, Holland ; Boston : D. Reidel Pub. Co., c1977
シリーズ名: Synthese library ; v. 110
所蔵情報: loading…
50.

図書

図書
Robert S. Boyer, J. Strother Moore
出版情報: Boston ; Tokyo : Academic Press, c1988
シリーズ名: Perspectives in computing ; v. 23
所蔵情報: loading…
51.

図書

図書
Elliott Mendelson
出版情報: New York : Van Nostrand, c1979
所蔵情報: loading…
52.

図書

図書
Dirk van Dalen
出版情報: Berlin ; New York : Springer-Verlag, c1983
シリーズ名: Universitext
所蔵情報: loading…
53.

図書

図書
edited by B.F. McGuinness, T. Nyberg, G.H. von Wright ; with a translation [from the German] by D.F. Pears, B.F. McGuinness, an historical introduction by G.H. von Wright and a facsimile of the author's manuscript
出版情報: London : Routledge and K. Paul, 1971
所蔵情報: loading…
54.

図書

図書
[by] Nicholas Rescher and Alasdair Urquhart
出版情報: New York : Springer-Verlag, 1971
シリーズ名: Library of exact philosophy ; 3
所蔵情報: loading…
55.

図書

図書
[by] S.W.P. Steen
出版情報: Cambridge [Eng.] ; New York : Cambridge University Press, 1972
所蔵情報: loading…
56.

図書

図書
Edward N. Zalta
出版情報: Cambridge, Mass. : MIT Press, c1988
所蔵情報: loading…
57.

図書

図書
Paul Lorenzen
出版情報: Frankfurt am Main : Suhrkamp, 1968
シリーズ名: Theorie ; 2
所蔵情報: loading…
58.

図書

図書
[by] Hao Wang
出版情報: London : Routledge & Kegan Paul , New York : Humanities Press, [1974]
シリーズ名: International library of philosophy and scientific method / editor, Ted Honderich
所蔵情報: loading…
59.

図書

図書
Guido Küng ; [translated by E. C. M. Mays, and revised by the author]
出版情報: Dordrecht : D. Reidel, 1967
シリーズ名: Synthese library
所蔵情報: loading…
60.

図書

図書
J.N. Crossley ... [et al.]
出版情報: London : Oxford University Press, 1972
所蔵情報: loading…
61.

図書

図書
[By] John N. Crossley
出版情報: Amsterdam ; London : North-Holland Pub. Co., 1969
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
62.

図書

図書
Daniel Gallin
出版情報: Amsterdam : North Holland Pub. Co. , New York : American Elsevier Pub. Co., 1975
シリーズ名: North-Holland mathematics studies ; 19
所蔵情報: loading…
63.

図書

図書
edited by E.D. Klemke
出版情報: Urbana : University of Illinois Press, 1968
所蔵情報: loading…
64.

図書

図書
A.H. Lightstone
出版情報: New York : Harper & Row, c1965
シリーズ名: Harper's series in modern mathematics
所蔵情報: loading…
65.

図書

図書
Moshé Machover, Joram Hirschfeld
出版情報: Berlin : Springer, 1969
シリーズ名: Lecture notes in mathematics ; 94
所蔵情報: loading…
66.

図書

図書
Robert G. Jeroslow
出版情報: Amsterdam ; Tokyo : North-Holland, 1989
シリーズ名: Annals of discrete mathematics ; 40
所蔵情報: loading…
67.

図書

図書
Stephen Cole Kleene
出版情報: New York : J. Wiley, c1967
所蔵情報: loading…
68.

図書

図書
Imre Lakatos ; edited by John Worrall and Elie Zahar
出版情報: Cambridge : Cambridge University Press, 1976
所蔵情報: loading…
69.

図書

図書
Zohar Manna, Richard Waldinger
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, c1990
シリーズ名: Addison-Wesley series in computer science ; . The logical basis for computer programming ; v. 2
所蔵情報: loading…
70.

図書

図書
Michael J. O'Donnell
出版情報: Cambridge, Mass. : MIT Press, c1985
シリーズ名: MIT Press series in the foundations of computing
所蔵情報: loading…
71.

図書

図書
Yu.I. Manin ; translated from the Russian by Neal Koblitz
出版情報: New York ; Berlin : Springer, c1977
シリーズ名: Graduate texts in mathematics ; 53
所蔵情報: loading…
72.

図書

図書
B.C. Moszkowski
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986
所蔵情報: loading…
73.

図書

図書
Doug DeGroot, Gary Lindstrom
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1986
所蔵情報: loading…
74.

図書

図書
Raymond Turner
出版情報: Chichester : E. Horwood, 1985, c1984
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
75.

図書

図書
Ludwig Wittgenstein ; edited by Rush Rhees ; translated by Anthony Kenny
出版情報: Oxford, [England] : Blackwell, [1974]
所蔵情報: loading…
目次情報:
pt. 1. The proposition and its sense
pt. 2. On logic and mathematics
pt. 1. The proposition and its sense
pt. 2. On logic and mathematics
76.

図書

図書
David S. Touretzky
出版情報: London : Pitman , Los Altos, Calif. : M. Kaufmann Publishers, 1986
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
77.

図書

図書
Kurt Konolige
出版情報: London : Pitman , Los Altos, Calif. : Morgan Kaufmann, 1986
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
78.

図書

図書
Herbert B. Enderton
出版情報: Orlando ; Tokyo : Academic Press, c1972
所蔵情報: loading…
79.

図書

図書
Abraham Robinson
出版情報: Amsterdam : North-Holland Pub. Co., 1966
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
80.

図書

図書
Robert L. Constable, Michael J. O'Donnell ; contributions by Scott D. Johnson
出版情報: Cambridge, Mass. : Winthrop Publishers, c1978
所蔵情報: loading…
81.

図書

図書
Ann Yasuhara
出版情報: New York : Academic Press, c1971
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…
82.

図書

図書
Harry R. Lewis, Christos H. Papadimitriou
出版情報: Englewood Cliffs, N.J. : Prentice-Hall , London : Prentice-Hall International, c1981
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
83.

図書

図書
by Gaisi Takeuti
出版情報: [Tokyo] : Iwanami Shoten , [Princeton, N.J.] : Princeton University Press, 1978
シリーズ名: Publications of the Mathematical Society of Japan ; 13 . Kanō memorial lectures ; 3
所蔵情報: loading…
84.

図書

図書
Stephen K. Land
出版情報: London : Longman, 1974
シリーズ名: Longman linguistics library ; no. 16
所蔵情報: loading…
85.

図書

図書
A.A. Zinov'ev ; with an appendix by G.A. Smirnov ... [et al.]
出版情報: Dordrecht : Reidel, c1973
シリーズ名: Boston studies in the philosophy of science ; v. 9
Synthese library
所蔵情報: loading…
86.

図書

図書
edited by Philippe Smets ... [et al.]
出版情報: London ; Tokyo : Academic Press, 1988
所蔵情報: loading…
87.

図書

図書
David Harel
出版情報: Berlin ; Tokyo : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 68
所蔵情報: loading…
88.

図書

図書
edited by L. Borkowski ; [translated from the Polish by O. Wojtasiewicz]
出版情報: Amsterdam ; London : North-Holland, 1970
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
89.

図書

図書
edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]
出版情報: Amsterdam ; New York : North-Holland Pub. Co., 1977
シリーズ名: Studies in logic and the foundations of mathematics ; v. 90
所蔵情報: loading…
90.

図書

図書
by J.L. Bell and M. Machover
出版情報: Amsterdam ; Tokyo : North-Holland Pub. Co. , New York : Sole distributors for the U.S.A. and Canada American Elsevier Pub. Co., 1977
所蔵情報: loading…
91.

図書

図書
Robert Kowalski
出版情報: New York : Elsevier North Holland, c1979
シリーズ名: Elsevier computer science library ; . Artificial intelligence series ; 7
所蔵情報: loading…
92.

図書

図書
Chin-Liang Chang, Richard Char-Tung Lee
出版情報: New York : Academic Press, c1973
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…
93.

図書

図書
Eric C.R. Hehner
出版情報: Englewood Cliffs, N.J. : Prentice/Hall International, c1984
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
94.

図書

図書
Hans Jürgen Heringer
出版情報: Tübingen : M. Niemeyer, 1972
シリーズ名: Germanistische Arbeitshefte ; 6
所蔵情報: loading…
95.

図書

図書
By G. Polya
出版情報: Princeton : Princeton University Press, 1968
シリーズ名: Mathematics and plausible reasoning ; v. 2
所蔵情報: loading…
96.

図書

図書
Craig Smoryński
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991-
シリーズ名: Universitext
所蔵情報: loading…
97.

図書

図書
[by] Robert R. Christian
出版情報: New York : Blaisdell Pub. Co, [1965]
シリーズ名: A Blaisdell book in the pure and applied sciences
所蔵情報: loading…
98.

図書

図書
A. H. Lightstone
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1964
所蔵情報: loading…
99.

図書

図書
by Robert R. Stoll
出版情報: San Francisco : W. H. Freeman, c1963
シリーズ名: Series of undergraduate books in mathematics
所蔵情報: loading…
100.

図書

図書
M. Ben-Ari
出版情報: New York : Prentice Hall, 1993
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…