1.

図書
図書
1. Elements of logic via numbers and sets
D. L. Johnson
出版情報: Berlin : Springer, c1998
シリーズ名: Springer undergraduate mathematics series
所蔵情報: loading…
2.

図書
図書
2. Logical and logico-mathematical calculi. 2
Edited by V. P. Orevkov
出版情報: Providence, R.I. : American Mathematical Society, 1974
シリーズ名: Proceedings of the Steklov Institute of Mathematics ; no. 121
所蔵情報: loading…
3.

図書
図書
3. A formalization of set theory without variables
by Alfred Tarski and Steven Givant
出版情報: Providence, R.I. : American Mathematical Society, c1987
シリーズ名: Colloquium publications / American Mathematical Society ; v. 41
所蔵情報: loading…
4.

図書
図書
4. 9 papers on logic and quantum electrodynamics
authors, Detlovs, V. K. ... [et al.]
出版情報: Providence, R.I. : American Mathematical Society, 1963
シリーズ名: American Mathematical Society translations ; ser. 2, v. 23
所蔵情報: loading…
5.

図書
図書
5. 15 papers on topology and logic
Abramov, L. M.. ... [et al.]
出版情報: Providence, R.I. : American Mathematical Society, 1964
シリーズ名: American Mathematical Society translations ; ser. 2, v. 39
所蔵情報: loading…
6.

図書
図書
6. Fourteen papers on logic, algebra, complex variables and topology
by L.M. Abramov ... [et al.]
出版情報: Providence, R.I. : American Mathematical Society, 1965
シリーズ名: American Mathematical Society translations ; ser. 2, v. 48
所蔵情報: loading…
7.

図書
図書
7. Twelve papers on logic and algebra
by N.I. Felʹdman ... [et al.]
出版情報: Providence, R.I. : American Mathematical Society, 1966
シリーズ名: American Mathematical Society translations ; ser. 2, v. 59
所蔵情報: loading…
8.

図書
図書
8. Nine papers on logic and group theory
by S.D. Berman ... [et al.]
出版情報: Providence, R.I. : American Mathematical Society, 1967
シリーズ名: American Mathematical Society translations ; ser. 2, v. 64
所蔵情報: loading…
9.

図書
図書
9. Eighteen papers on logic and theory of functions
I.S. Aršon ... [et al.]
出版情報: Providence, R.I. : American Mathematical Society, 1969
シリーズ名: American Mathematical Society translations ; ser. 2, v. 83
所蔵情報: loading…
10.

図書
図書
10. Eleven papers on logic, algebra, analysis and topology
by B.M. Budak ... [et al.]
出版情報: Providence, R.I. : American Mathematical Society, 1971
シリーズ名: American Mathematical Society translations ; ser. 2, v. 97
所蔵情報: loading…
11.

図書
図書
11. Five papers on logic and foundations
by G.S. Ceĭtin ... [et al.]
出版情報: Providence, R.I. : American Mathematical Society, 1972
シリーズ名: American Mathematical Society translations ; ser. 2, v. 99
所蔵情報: loading…
12.

図書
図書
12. Six papers in logic
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
13.

図書
図書
13. A hierarchy of formulas in set theory
by Azriel Lévy
出版情報: Providence, R.I. : American Mathematical Society, 1965
シリーズ名: Memoirs of the American Mathematical Society ; no. 57
所蔵情報: loading…
14.

図書
図書
14. An examination of a decision procedure
by Francis C. Oglesby
出版情報: Providence : American Mathematical Society, 1962
シリーズ名: Memoirs of the American Mathematical Society ; no. 44
所蔵情報: loading…
15.

図書
図書
15. Mathematical intuitionism : introduction to proof theory
A.G. Dragalin
出版情報: Providence, R.I. : American Mathematical Society, c1988
シリーズ名: Translations of mathematical monographs ; v. 67
所蔵情報: loading…
16.

図書
図書
16. Lectures on non-standard analysis
Moshé Machover, Joram Hirschfeld
出版情報: Berlin : Springer, 1969
シリーズ名: Lecture notes in mathematics ; 94
所蔵情報: loading…
17.

図書
図書
17. Séminaire général de logique, 1983-1984
F. Delon, D. Lascar, M. Parigot, [éditeurs]
出版情報: [Paris] : U.E.R. de Mathematiques & U. A. 753 du C.N.R.S., [1984?]
シリーズ名: Publications mathématiques de l'Université Paris VII ; 27
所蔵情報: loading…
18.

図書
図書
18. Logic and structure. 3rd augm. ed
Dirk van Dalen
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Universitext
所蔵情報: loading…
19.

図書
図書
19. Logic and structure. 4th ed (: pbk)
Dirk van Dalen
出版情報: Berlin : Springer, c2004
シリーズ名: Universitext
所蔵情報: loading…
20.

図書
図書
20. A concise introduction to mathematical logic. 2nd ed (: pbk)
Wolfgang Rautenberg
出版情報: New York, NY : Springer, c2006
シリーズ名: Universitext
所蔵情報: loading…
21.

図書
図書
21. A course on mathematical logic
S.M. Srivastava
出版情報: New York : Springer, c2008
シリーズ名: Universitext
所蔵情報: loading…
22.

図書
図書
22. A concise introduction to mathematical logic. 3rd ed (: pbk)
Wolfgang Rautenberg
出版情報: New York : Springer, c2010
シリーズ名: Universitext
所蔵情報: loading…
23.

図書
図書
23. A course on mathematical logic. 2nd ed (: pbk)
Shashi Mohan Srivastava
出版情報: New York : Springer, c2013
シリーズ名: Universitext
所蔵情報: loading…
24.

図書
図書
24. Mathematical logic and theoretical computer science
edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith
出版情報: New York : M. Dekker, c1987
シリーズ名: Lecture notes in pure and applied mathematics ; v. 106
所蔵情報: loading…
25.

図書
図書
25. Logic of mathematics : a modern course of classical logic (: cloth : alk. pape)
Zofia Adamowicz, Paweł Zbierski
出版情報: New York : Wiley, c1997
シリーズ名: Pure and applied mathematics
所蔵情報: loading…
26.

図書
図書
26. Mathematical logic
J. Donald Monk
出版情報: New York : Springer-Verlag, 1976
シリーズ名: Graduate texts in mathematics ; 37
所蔵情報: loading…
27.

図書
図書
27. Vollständige Systeme modaler und intuitionistischer logik
von Kurt Schütte
出版情報: Berlin : Springer, 1968
シリーズ名: Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 42
所蔵情報: loading…
28.

図書
図書
28. Einführung in die operative Logik und Mathematik. 2 Aufl
Paul Lorenzen
出版情報: Berlin ; New York : Springer-Verlag, 1969
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 78
所蔵情報: loading…
29.

図書
図書
29. On group-theoretic decision problems and their classification
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…
30.

図書
図書
30. Logic and structure. 5th ed (: pbk)
Dirk van Dalen
出版情報: Berlin : Springer, c2013
シリーズ名: Universitext
所蔵情報: loading…
31.

図書
図書
31. Purity, spectra and Localisation (: hardback)
Mike Prest
出版情報: Cambridge, UK : Cambridge University Press, 2009
シリーズ名: Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; [121]
所蔵情報: loading…
32.

図書
図書
32. Principia mathematica to *56. Pbk. ed (: pbk)
by Alfred North Whitehead and Bertrand Russell
出版情報: Cambridge : Cambridge University Press, 1962
所蔵情報: loading…
33.

図書
図書
33. Introduction to the foundations of mathematics
Raymond L. Wilder
出版情報: New York : J. Wiley, c1952
所蔵情報: loading…
34.

図書
図書
34. Logic, computers, and sets
by Hao Wang
出版情報: New York : Chelsea Pub., c1970
所蔵情報: loading…
35.

図書
図書
35. Elements of set theory
Peter W. Zehna, Robert L. Johnson
出版情報: Boston : Allyn and Bacon, 1962
シリーズ名: College mathematics series
所蔵情報: loading…
36.

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

図書
図書
37. Logical number theory (v. 1 : gw ; v. 1 : us)
Craig Smoryński
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991-
シリーズ名: Universitext
所蔵情報: loading…
38.

図書
図書
38. Mathematical logic. 2nd ed (: us ; : gw)
H.-D. Ebbinghaus, J. Flum, W. Thomas
出版情報: New York ; Tokyo : Springer-Verlag, c1994
シリーズ名: Undergraduate texts in mathematics
所蔵情報: loading…
39.

図書
図書
39. First-order logic (: gw ; : us)
Raymond M. Smullyan
出版情報: Berlin ; New York : Springer-Verlag, 1968
シリーズ名: Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 43
所蔵情報: loading…
40.

図書
図書
40. Mathematical logic (: us ; : gw)
H.-D. Ebbinghaus, J. Flum, W. Thomas
出版情報: New York : Springer-Verlag, c1984
シリーズ名: Undergraduate texts in mathematics
所蔵情報: loading…
41.

図書
図書
41. Introduction to mathematical logic : set theory, computable functions, model theory (: us ; : gw)
Jerome Malitz
出版情報: New York ; Tokyo : Springer-Verlag, c1979
シリーズ名: Undergraduate texts in mathematics
所蔵情報: loading…
42.

図書
図書
42. Grundlagen der Mathematik. 2. Aufl (v. 1 - v. 2 : pbk)
D. Hilbert und P. Bernays
出版情報: Berlin : Springer, 1968-1970
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 40, 50
所蔵情報: loading…
43.

図書
図書
43. An introduction to Hilbert space and quantum logic (: us ; : gw)
David W. Cohen
出版情報: New York ; Tokyo : Springer-Verlag, c1989
シリーズ名: Problem books in mathematics / edited by K. Bencsáth and P.R. Halmos
所蔵情報: loading…
44.

図書
図書
44. The collected works of J. Richard Büchi (: U.S. ; : Germany)
Saunders Mac Lane, Dirk Siefkes, editors
出版情報: New York ; Tokyo : Springer-Verlag, c1990
所蔵情報: loading…
45.

図書
図書
45. A course in mathematical logic (: us ; : gw)
Yu.I. Manin ; translated from the Russian by Neal Koblitz
出版情報: New York ; Berlin : Springer, c1977
シリーズ名: Graduate texts in mathematics ; 53
所蔵情報: loading…
46.

図書
図書
46. Logic and structure. 2nd ed., corrected 2nd print (: us:pbk. ; : gw)
Dirk van Dalen
出版情報: Berlin ; New York : Springer-Verlag, c1983
シリーズ名: Universitext
所蔵情報: loading…
47.

図書
図書
47. Two applications of logic to mathematics (: ja ; : us)
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…
48.

図書
図書
48. An algebraic introduction to mathematical logic (: us ; : gw)
Donald W. Barnes, John M. Mack
出版情報: New York ; Berlin : Springer-Verlag, c1975
シリーズ名: Graduate texts in mathematics ; v. 22
所蔵情報: loading…
49.

図書
図書
49. Bridge to abstract mathematics : mathematical proof and structures
Ronald P. Morash
出版情報: New York, NY : Random House, c1987
シリーズ名: The Random House/Birkhäuser mathematics series
所蔵情報: loading…
50.

図書
図書
50. Philosophy of mathematics and deductive structure in Euclid's Elements
Ian Mueller
出版情報: Cambridge, Mass. : MIT Press, c1981
所蔵情報: loading…