close
1.

図書
図書
1. Appalachian set theory : 2006-2012 (: pbk)
[edited by] James Cummings, Ernest Schimmerling
出版情報: Cambridge : Cambridge University Press, 2013
シリーズ名: London Mathematical Society lecture note series ; 406
所蔵情報: loading…
2.

図書
図書
2. Discrete mathematics : Mathematical reasoning and proof with puzzles, patterns, and games
Douglas E. Ensley, J. Winston Crawley
出版情報: Hoboken, N.J. : John Wiley & Sons, c2006
所蔵情報: loading…
3.

図書
図書
3. How to prove it : a structured approach. 2nd ed (:hbk ; :pbk)
Daniel J. Velleman
出版情報: New York : Cambridge University Press, c2006
所蔵情報: loading…
4.

図書
図書
4. 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…
5.

図書
図書
5. Formal methods in artificial intelligence (: pbk.)
Allan Ramsay
出版情報: Cambridge ; New York : Cambridge University Press, 1991
シリーズ名: Cambridge tracts in theoretical computer science ; 6
所蔵情報: loading…
6.

図書
図書
6. A course in mathematical logic for mathematicians. 2nd ed. / chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
Yu. I. Manin
出版情報: New York : Springer, c2010
シリーズ名: Graduate texts in mathematics ; 53
所蔵情報: loading…
7.

図書
図書
7. First course in mathematical logic. [1st ed.]
[by] Patrick Suppes and Shirley Hill
出版情報: New York : Blaisdell Pub. Co, [1964]
シリーズ名: A Blaisdell book in the pure and applied sciences
所蔵情報: loading…
8.

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

図書
図書
9. Fundamental concepts of modern mathematics
[by] Max D. Larsen
出版情報: Reading, Mass. : Addison-Wesley Pub. Co, c1970
所蔵情報: loading…
10.

図書
図書
10. Digital logic and switching circuits : operation and analysis
Jefferson C. Boyce
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1975
所蔵情報: loading…
11.

図書
図書
11. Contemporary consolidation (: [cloth] ; : pbk.)
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…
12.

図書
図書
12. Tractatus logico-philosophicus. [Repr. ed.]
by Ludwig Wittgenstein ; with an introduction by Bertrand Russell
出版情報: London : Routledge & Kegan Paul, 1955
シリーズ名: International library of psychology, philosophy and scientific method
所蔵情報: loading…
13.

図書
図書
13. Logic programming
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…
14.

図書
図書
14. The anatomy of mathematics
by R.B. Kershner [and] L.R. Wilcox
出版情報: New York : Ronald Press, [1950]
所蔵情報: loading…
15.

図書
図書
15. Conceptual models in mathematics : sets, logic and probability (: pbk)
K.E. Hirst [and] F. Rhodes
出版情報: London : Allen and Unwin, 1971
シリーズ名: Mathematical studies ; no. 5
所蔵情報: loading…
16.

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

図書
図書
17. The nature of mathematics : a critical survey
by Max Black
出版情報: London : Routledge, 1933
シリーズ名: International library of psychology, philosophy and scientific method
所蔵情報: loading…
18.

図書
図書
18. Logic : techniques of formal reasoning
Donald Kalish, Richard Montague
出版情報: New York : Harcourt, Brace & World, c1964
所蔵情報: loading…
19.

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

図書
図書
20. Discrete structures, logic, and computability
James L. Hein
出版情報: Boston : Jones and Bartlett, c1995
所蔵情報: loading…
21.

図書
図書
21. Deduction methodologies
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…
22.

図書
図書
22. Nonmonotonic reasoning and uncertain reasoning
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…
23.

図書
図書
23. Foundations of computing : system development with set theory and logic
Thierry Scheurer
出版情報: Wokingham, England ; Reading, Mass. : Addison-Wesley, c1994
シリーズ名: International computer science series
所蔵情報: loading…
24.

図書
図書
24. Set theory and the continuum hypothesis
Paul J. Cohen
出版情報: New York ; Amsterdam : W.A. Benjamin, 1966
所蔵情報: loading…
25.

図書
図書
25. Intermediate logic (: hbk ; : pbk)
David Bostock
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1997
所蔵情報: loading…
26.

図書
図書
26. Logic and arithmetic
David Bostock
出版情報: Oxford : Clarendon Press, 1974-1979
所蔵情報: loading…
27.

図書
図書
27. Logical foundations
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…
28.

図書
図書
28. Handbook of logic in artificial intelligence and logic programming
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…
29.

図書
図書
29. A natural history of negation (: pbk)
Laurence R. Horn
出版情報: Stanford, Calif. : CLSI Publications, c2001
シリーズ名: The David Hume series, philosophy and cognitive science reissues
所蔵情報: loading…
30.

図書
図書
30. Logics without existence assumptions
Rolf Schock
出版情報: Stockholm : Almqvist & Wiksell, [c1968]
所蔵情報: loading…
31.

図書
図書
31. Reasoning about uncertainty (: hc)
Joseph Y. Halpern
出版情報: Cambridge, Mass. : MIT Press, c2003
所蔵情報: loading…
32.

図書
図書
32. Mathematical theory of program correctness
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…
33.

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

図書
図書
34. Meaning and existence in mathematics (au ; us)
Charles Castonguay
出版情報: Wien ; New York : Springer-Verlag, 1972
シリーズ名: Library of exact philosophy ; 9
所蔵情報: loading…
35.

図書
図書
35. Fuzzy logic in knowledge engineering (: pbk.)
edited by Henri Prade and Constantin V. Negoita
出版情報: Köln : TÜV Rheinland, c1986
シリーズ名: Interdisciplinary systems research ; 86
所蔵情報: loading…
36.

図書
図書
36. 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
37.

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

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

図書
図書
39. Mass terms and model-theoretic semantics (pbk)
Harry C. Bunt
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985
シリーズ名: Cambridge studies in linguistics ; 42
所蔵情報: loading…
40.

図書
図書
40. Past, present and future
by Arthur Prior
出版情報: Oxford ; Tokyo : Clarendon Press, c1967
所蔵情報: loading…
41.

図書
図書
41. The logic of inconsistency : a study in non-standard possible-world semantics and ontology
Nicholas Rescher and Robert Brandom
出版情報: Totowa, N.J. : Rowman and Littlefield, c1979
シリーズ名: APQ library of philosophy
所蔵情報: loading…
42.

図書
図書
42. Gottlob Freges Briefwechsel : mit D. Hilbert, E. Husserl, B. Russell, sowie ausgewählte Einzelbriefe Freges
mit Einleitungen, Anmerkungen und Register herausgegeben von Gottfried Gabriel, Friedrich Kambartel, Christian Thiel
出版情報: Hamburg : F. Meiner, c1980
シリーズ名: Philosophische Bibliothek ; Bd. 321
所蔵情報: loading…
43.

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

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

図書
図書
45. Meaning and necessity : a study in semantics and modal logic. 2nd ed
by Rudolf Carnap
出版情報: Chicago ; London : University of Chicago Press, 1958, c1956
シリーズ名: Phoenix books ; P30
所蔵情報: loading…
46.

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

図書
図書
47. 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…
48.

図書
図書
48. Gödel, Escher, Bach : an eternal golden braid
Douglas R. Hofstadter
出版情報: Harmondsworth : Penguin, 1980
所蔵情報: loading…
49.

図書
図書
49. Reasoning from incomplete knowledge in a procedural deduction system
Robert C. Moore
出版情報: New York : Garland Pub., 1980
シリーズ名: Outstanding dissertations in the computer sciences
所蔵情報: loading…
50.

図書
図書
50. CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings (: gw ; : us)
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 385
所蔵情報: loading…