Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Subject: #Mathematical logic and foundations)
Results:638items
Logic and Implication : An Introduction to the General Algebraic Study of Non-classical Logics / by Petr Cintula, Carles Noguera
1st ed. 2021.. - Cham : Springer International Publishing : Imprint: Springer , 2021. - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 57)
E-Book
Recursion Theory and Computational Complexity : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979 / edited by G. Lolli
1st ed. 2011.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2011. - (C.I.M.E. Summer Schools ; 79)
A Boolean Algebra : Abstract and Concrete / by A.P. Bowran
1st ed. 1965.. - London : Macmillan Education UK : Imprint: Red Globe Press , 1965
Perspectives of Elementary Mathematics / by G.P. Hochschild
1st ed. 1983.. - New York, NY : Springer New York : Imprint: Springer , 1983
Mathematical Aspects of Scientific Software / edited by J.R. Rice
1st ed. 1988.. - New York, NY : Springer New York : Imprint: Springer , 1988. - (The IMA Volumes in Mathematics and its Applications. ISSN:21983224 ; 14)
Axiomatic Set Theory / by G. Takeuti, W.M. Zaring
1st ed. 1973.. - New York, NY : Springer New York : Imprint: Springer , 1973. - (Graduate Texts in Mathematics. ISSN:21975612 ; 8)
Mathematical Logic / by J.D. Monk
1st ed. 1976.. - New York, NY : Springer New York : Imprint: Springer , 1976. - (Graduate Texts in Mathematics. ISSN:21975612 ; 37)
Naive Set Theory / by P. R. Halmos
1st ed. 1974.. - New York, NY : Springer New York : Imprint: Springer , 1974. - (Undergraduate Texts in Mathematics. ISSN:21975604)
Adaptive and Learning Systems : Theory and Applications / by Kumpati S. Narendra
1st ed. 1986.. - New York, NY : Springer US : Imprint: Springer , 1986
Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra / by David Cox, John Little, DONAL OSHEA
2nd ed. 1997.. - New York, NY : Springer New York : Imprint: Springer , 1997. - (Undergraduate Texts in Mathematics. ISSN:21975604)
Notes on Set Theory / by Yiannis Moschovakis
1st ed. 1994.. - New York, NY : Springer New York : Imprint: Springer , 1994. - (Undergraduate Texts in Mathematics. ISSN:21975604)
A Course in Mathematical Logic / by Yu.I. Manin
1st ed. 1977.. - New York, NY : Springer New York : Imprint: Springer , 1977. - (Graduate Texts in Mathematics. ISSN:21975612 ; 53)
Advanced Łukasiewicz calculus and MV-algebras / by D. Mundici
1st ed. 2011.. - Dordrecht : Springer Netherlands : Imprint: Springer , 2011. - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 35)
Propositional and Predicate Calculus: A Model of Argument / by Derek Goldrei
1st ed. 2005.. - London : Springer London : Imprint: Springer , 2005
Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics / by Lorenz Halbeisen, Regula Krapf
1st ed. 2020.. - Cham : Springer International Publishing : Imprint: Birkhäuser , 2020
Logic and Structure / by Dirk van Dalen
4th ed. 2004.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2004. - (Universitext. ISSN:21916675)
The Beauty of Fractals : Images of Complex Dynamical Systems / by Heinz-Otto Peitgen, Peter H. Richter
1st ed. 1986.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1986
Theory of Sets / by N. Bourbaki
1st ed. 2004.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2004
Advances in Fuzzy Sets, Possibility Theory, and Applications / edited by P.P. Wang
1st ed. 1983.. - New York, NY : Springer US : Imprint: Springer , 1983
Introduction to Axiomatic Set Theory / by G. Takeuti, W.M. Zaring
2nd ed. 1982.. - New York, NY : Springer New York : Imprint: Springer , 1982. - (Graduate Texts in Mathematics. ISSN:21975612 ; 1)