Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Standard classification: QA9)
Results:16items
Studies in constructive mathematics and mathematical logic / Edited by A. O. Slisenko
New York : Consultants Bureau , 1969-. - (Seminars in mathematics ; v. 4, 8, 16)
Books
Graph Structure and Monadic Second-Order Logic : A Language-Theoretic Approach / Bruno Courcelle, Joost Engelfriet
Cambridge : Cambridge University Press , 2012. - (Encyclopedia of Mathematics and its Applications ; 138)
E-Book
Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]
: pbk. - Amsterdam ; New York : North-Holland Pub. Co. , 1977. - (Studies in logic and the foundations of mathematics ; v. 90)
Logic in elementary mathematics / Robert M. Exner, Myron F. Rosskopf
New York : McGraw-Hill , 1959
Introduction to mathematical logic / Elliott Mendelson
New York : Van Nostrand , c1964. - (The university series in undergraduate mathematics)
Essays on the foundations of mathematics : dedicated to A. A. Fraenkel on his seventieth anniversary / edited by Y. Bar-Hillel ... [et al.]
2nd ed. - Jerusalem : Magnes Press, THe Hebrew University , 1966
Absolute continuity under time shift of trajectories and related stochastic calculus / Jörg-Uwe Löbus
Providence, R.I. : American Mathematical Society , 2017. - (Memoirs of the American Mathematical Society ; no. 1185)
Introduction to mathematical thinking : the formation of concepts in modern mathematics / Friedrich Waismann ; with a foreword by Karl Menger ; translated from the German by Theodore J. Benac
: pbk.. - Mineola, N.Y. : Dover , 2003
Foundational studies : selected works / Andrzej Mostowski ; editorial committee, Kazimierz Kuratowski ... [et al.]
v. 1,v. 2. - Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributor for the U.S.A. and Canada, Elsevier North-Holland , 1979. - (Studies in logic and the foundations of mathematics ; v. 93)
Cylindric algebras / [By] Leon Henkin, J. Donald Monk [and] Alfred Tarski
pt. 1,pt. 2. - Amsterdam : North-Holland Pub. Co. , 1971-1985. - (Studies in logic and the foundations of mathematics ; v. 64, 115)
Introduction to axiomatic set theory / G. Takeuti, W.M. Zaring
: soft cover. - New York : Springer-Verlag , c1971. - (Graduate texts in mathematics ; 1)
Continuous model theory / by Chen Chung Chang and H. Jerome Keisler
Princeton : Princeton University Press , 1966. - (Annals of mathematics studies ; 58)
Collected works / Kurt Gödel ; edited by Solomon Feferman ... [et al.]
v. 1 - v. 5. - New York ; Oxford ; Tokyo : Oxford University Press , 1986-2003
Elements of logic and foundations of mathematics in problems / Wiktor Marek and Janusz Onyszkiewicz
Dordrecht, Holland : D. Reidel , 1982. - Warszawa : PWN-Polish Scientific Publishers , 1982. - Hingham, MA : Distributors for the U.S.A. and Canada, Kluwer Boston , c1982
The common sense of the exact sciences / William Kingdon Clifford ; with a new introduction by Andrew Pyle
London : Routledge/Thoemmes Press , 1996. - (The origins of modern philosophy of science, 1830-1914)
Duality and definability in first order logic / Michael Makkai
Providence, R.I. : American Mathematical Society , 1993. - (Memoirs of the American Mathematical Society ; no. 503)