Modal logic. Zbl 0871.03007
Chagrov, Alexander; Zakharyaschev, Michael |
|
1997
|
Sketches of an elephant. A topos theory compendium. I. Zbl 1071.18001
Johnstone, Peter T. |
|
2002
|
Computability and randomness. Zbl 1169.03034
Nies, André |
|
2009
|
Cardinal arithmetic. Zbl 0848.03025
Shelah, Saharon |
|
1994
|
Models of Peano arithmetic. Zbl 0744.03037
Kaye, Richard |
|
1991
|
Geometric stability theory. Zbl 0871.03023
Pillay, Anand |
|
1996
|
Elements of intuitionism. Zbl 0358.02032
Dummett, Michael |
|
1977
|
Foundations without foundationalism. A case for second-order logic. Zbl 0732.03002
Shapiro, Stewart |
|
1991
|
Sketches of an elephant. A topos theory compendium. II. Zbl 1071.18002
Johnstone, Peter T. |
|
2002
|
Temporal logic. Vol. 1. Mathematical foundations and computational aspects. Zbl 0921.03023
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark |
|
1994
|
Groups of finite Morley rank. Zbl 0816.20001
Borovik, Alexandre; Nesin, Ali |
|
1994
|
Subrecursion. Functions and hierarchies. Zbl 0539.03018
Rose, H. E. |
|
1984
|
Category theory.
2nd ed. Zbl 1194.18001
Awodey, Steve |
|
2010
|
Interpolation and definability. Modal and intuitionistic logics. Zbl 1091.03001
Gabbay, Dov M.; Maksimova, L. |
|
2005
|
Algebraic methods in philosophical logic. Zbl 1014.03002
Dunn, J. Michael; Hardegree, Gary |
|
2001
|
Change, choice and inference. A study of belief revision and nonmonotonic reasoning. Zbl 1018.03004
Rott, Hans |
|
2001
|
Toposes and local set theories. An introduction. Zbl 0649.18004
Bell, J. L. |
|
1988
|
Computability and randomness. Zbl 1237.03027
Nies, André |
|
2012
|
Labelled deductive systems. Vol. 1. Zbl 0858.03004
Gabbay, Dov M. |
|
1996
|
Elements of intuitionism.
2nd ed. Zbl 0949.03059
Dummett, Michael |
|
2000
|
Category theory. Zbl 1100.18001
Awodey, Steve |
|
2006
|
An introduction to stability theory. Zbl 0526.03014
Pillay, Anand |
|
1983
|
The structure of models of Peano arithmetic. Zbl 1101.03029
Kossak, Roman; Schmerl, James H. |
|
2006
|
Recursive aspects of descriptive set theory. With a chapter by Stephen Simpson. Zbl 0655.03032
Mansfield, Richard; Weitkamp, Galen |
|
1985
|
Cantorian set theory and limitation of size. (Reprint). Zbl 0656.03030
Hallett, Michael |
|
1986
|
Many-valued logics. Zbl 0807.03010
Malinowski, Grzegorz |
|
1993
|
Set theory. Boolean-valued models and independence proofs.
3rd enlarged ed. Zbl 1065.03034
Bell, John L. |
|
2005
|
Choice sequences. A chapter of intuitionistic mathematics. Zbl 0355.02026
Troelstra, A. S. |
|
1977
|
Features and fluents. Representation of knowledge about dynamical systems. Vol. I. Zbl 0842.68077
Sandewall, Erik |
|
1994
|
Boolean-valued models and independence proofs in set theory. 2nd ed. Zbl 0585.03021
Bell, J. L. |
|
1985
|
Fibring logics. Zbl 0909.03001
Gabbay, Dov M. |
|
1999
|
Simplicity theory. Zbl 1294.03003
Kim, Byunghan |
|
2014
|
Boolean-valued models and independence proofs in set theory. Zbl 0371.02028
Bell, John Lane |
|
1977
|
Classical propositional operators. An exercise in the foundations of logic. Zbl 0491.03003
Segerberg, Krister |
|
1982
|
Gödel’s incompleteness theorems. Zbl 0787.03003
Smullyan, Raymond M. |
|
1992
|
Elementary categories, elementary toposes. Zbl 0762.18001
McLarty, Colin |
|
1992
|
Set theory with a universal set. Exploring an untyped universe.
2nd ed. Zbl 0831.03027
Forster, T. E. |
|
1995
|
Arithmetic, proof theory, and computational complexity. Zbl 0777.00008
|
|
1993
|
Elementary categories, elementary toposes. Zbl 0828.18001
McLarty, Colin |
|
1995
|
Set theory and the continuum problem. Zbl 0888.03032
Smullyan, Raymond M.; Fitting, Melvin |
|
1996
|
Introduction to logic and to the methodology of the deductive sciences.
4th ed. Zbl 0796.03001
Tarski, Alfred |
|
1994
|
Diagonalization and self-reference. Zbl 0810.03001
Smullyan, Raymond M. |
|
1994
|
Temporal logic. Vol. 2. Mathematical foundations and computational aspects. Zbl 1014.03006
Gabbay, Dov M.; Reynolds, Mark A.; Finger, Marcelo |
|
2000
|
Set theory with a universal set. Exploring an untyped universe. Zbl 0755.03029
Forster, T. E. |
|
1992
|
Set theory. Boolean-valued models and independence proofs.
3rd. ed., corrected paperback ed. with new references. Zbl 1233.03002
Bell, John L. |
|
2011
|
Twenty-five years of constructive type theory. Proceedings of a congress, Venice, Italy, Ocober 19–21, 1995. Zbl 0899.00026
|
|
1998
|
Model theory. Transl. from the Spanish by Ruy J. G. B. Queiroz. Zbl 0922.03001
Manzano, María |
|
1999
|
Reductive logic and proof-search. Proof theory, semantics, and control. Zbl 1062.03003
Pym, David J.; Ritter, Eike |
|
2004
|
Beginning model theory. The completeness theorem and some consequences. Zbl 0361.02064
Bridge, Jane |
|
1977
|
A study of logics. Zbl 0763.03003
Cleave, John P. |
|
1991
|
Recursion theory for metamathematics. Zbl 0796.03003
Smullyan, Raymond M. |
|
1993
|
The Boole-De Morgan correspondence 1842-1864. Zbl 0505.01018
Smith, G. C. |
|
1982
|
Consequence relations. An introduction to the Lindenbaum-Tarski method. Zbl 1530.03003
Citkin, Alex; Muravitsky, Alexei |
|
2022
|
Fragments of first-order logic. Zbl 07645439
Pratt-Hartmann, Ian |
|
2023
|
From sets and types to topology and analysis. Towards practicable foundations for constructive mathematics. Based on the workshop, Venice, Italy, May 12–16, 2003. Zbl 1076.03003
|
|
2005
|
Computability theory, semantics, and logic programming. Zbl 0613.68019
Fitting, Melvin |
|
1987
|
Bolzano’s logical system. Zbl 1370.01001
Casari, Ettore |
|
2016
|
Formal number theory and computability. A workbook. Zbl 0504.03002
Fisher, Alec |
|
1982
|
Relative category theory and geometric morphisms: A logical approach. Zbl 0751.18001
Chapman, Jonathan; Rowbottom, Frederick |
|
1992
|
Fragments of first-order logic. Zbl 07645439
Pratt-Hartmann, Ian |
|
2023
|
Consequence relations. An introduction to the Lindenbaum-Tarski method. Zbl 1530.03003
Citkin, Alex; Muravitsky, Alexei |
|
2022
|
Bolzano’s logical system. Zbl 1370.01001
Casari, Ettore |
|
2016
|
Simplicity theory. Zbl 1294.03003
Kim, Byunghan |
|
2014
|
Computability and randomness. Zbl 1237.03027
Nies, André |
|
2012
|
Set theory. Boolean-valued models and independence proofs.
3rd. ed., corrected paperback ed. with new references. Zbl 1233.03002
Bell, John L. |
|
2011
|
Category theory.
2nd ed. Zbl 1194.18001
Awodey, Steve |
|
2010
|
Computability and randomness. Zbl 1169.03034
Nies, André |
|
2009
|
Category theory. Zbl 1100.18001
Awodey, Steve |
|
2006
|
The structure of models of Peano arithmetic. Zbl 1101.03029
Kossak, Roman; Schmerl, James H. |
|
2006
|
Interpolation and definability. Modal and intuitionistic logics. Zbl 1091.03001
Gabbay, Dov M.; Maksimova, L. |
|
2005
|
Set theory. Boolean-valued models and independence proofs.
3rd enlarged ed. Zbl 1065.03034
Bell, John L. |
|
2005
|
From sets and types to topology and analysis. Towards practicable foundations for constructive mathematics. Based on the workshop, Venice, Italy, May 12–16, 2003. Zbl 1076.03003
|
|
2005
|
Reductive logic and proof-search. Proof theory, semantics, and control. Zbl 1062.03003
Pym, David J.; Ritter, Eike |
|
2004
|
Sketches of an elephant. A topos theory compendium. I. Zbl 1071.18001
Johnstone, Peter T. |
|
2002
|
Sketches of an elephant. A topos theory compendium. II. Zbl 1071.18002
Johnstone, Peter T. |
|
2002
|
Algebraic methods in philosophical logic. Zbl 1014.03002
Dunn, J. Michael; Hardegree, Gary |
|
2001
|
Change, choice and inference. A study of belief revision and nonmonotonic reasoning. Zbl 1018.03004
Rott, Hans |
|
2001
|
Elements of intuitionism.
2nd ed. Zbl 0949.03059
Dummett, Michael |
|
2000
|
Temporal logic. Vol. 2. Mathematical foundations and computational aspects. Zbl 1014.03006
Gabbay, Dov M.; Reynolds, Mark A.; Finger, Marcelo |
|
2000
|
Fibring logics. Zbl 0909.03001
Gabbay, Dov M. |
|
1999
|
Model theory. Transl. from the Spanish by Ruy J. G. B. Queiroz. Zbl 0922.03001
Manzano, María |
|
1999
|
Twenty-five years of constructive type theory. Proceedings of a congress, Venice, Italy, Ocober 19–21, 1995. Zbl 0899.00026
|
|
1998
|
Modal logic. Zbl 0871.03007
Chagrov, Alexander; Zakharyaschev, Michael |
|
1997
|
Geometric stability theory. Zbl 0871.03023
Pillay, Anand |
|
1996
|
Labelled deductive systems. Vol. 1. Zbl 0858.03004
Gabbay, Dov M. |
|
1996
|
Set theory and the continuum problem. Zbl 0888.03032
Smullyan, Raymond M.; Fitting, Melvin |
|
1996
|
Set theory with a universal set. Exploring an untyped universe.
2nd ed. Zbl 0831.03027
Forster, T. E. |
|
1995
|
Elementary categories, elementary toposes. Zbl 0828.18001
McLarty, Colin |
|
1995
|
Cardinal arithmetic. Zbl 0848.03025
Shelah, Saharon |
|
1994
|
Temporal logic. Vol. 1. Mathematical foundations and computational aspects. Zbl 0921.03023
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark |
|
1994
|
Groups of finite Morley rank. Zbl 0816.20001
Borovik, Alexandre; Nesin, Ali |
|
1994
|
Features and fluents. Representation of knowledge about dynamical systems. Vol. I. Zbl 0842.68077
Sandewall, Erik |
|
1994
|
Introduction to logic and to the methodology of the deductive sciences.
4th ed. Zbl 0796.03001
Tarski, Alfred |
|
1994
|
Diagonalization and self-reference. Zbl 0810.03001
Smullyan, Raymond M. |
|
1994
|
Many-valued logics. Zbl 0807.03010
Malinowski, Grzegorz |
|
1993
|
Arithmetic, proof theory, and computational complexity. Zbl 0777.00008
|
|
1993
|
Recursion theory for metamathematics. Zbl 0796.03003
Smullyan, Raymond M. |
|
1993
|
Gödel’s incompleteness theorems. Zbl 0787.03003
Smullyan, Raymond M. |
|
1992
|
Elementary categories, elementary toposes. Zbl 0762.18001
McLarty, Colin |
|
1992
|
Set theory with a universal set. Exploring an untyped universe. Zbl 0755.03029
Forster, T. E. |
|
1992
|
Relative category theory and geometric morphisms: A logical approach. Zbl 0751.18001
Chapman, Jonathan; Rowbottom, Frederick |
|
1992
|
Models of Peano arithmetic. Zbl 0744.03037
Kaye, Richard |
|
1991
|
Foundations without foundationalism. A case for second-order logic. Zbl 0732.03002
Shapiro, Stewart |
|
1991
|
A study of logics. Zbl 0763.03003
Cleave, John P. |
|
1991
|
Toposes and local set theories. An introduction. Zbl 0649.18004
Bell, J. L. |
|
1988
|
Computability theory, semantics, and logic programming. Zbl 0613.68019
Fitting, Melvin |
|
1987
|
Cantorian set theory and limitation of size. (Reprint). Zbl 0656.03030
Hallett, Michael |
|
1986
|
Recursive aspects of descriptive set theory. With a chapter by Stephen Simpson. Zbl 0655.03032
Mansfield, Richard; Weitkamp, Galen |
|
1985
|
Boolean-valued models and independence proofs in set theory. 2nd ed. Zbl 0585.03021
Bell, J. L. |
|
1985
|
Subrecursion. Functions and hierarchies. Zbl 0539.03018
Rose, H. E. |
|
1984
|
An introduction to stability theory. Zbl 0526.03014
Pillay, Anand |
|
1983
|
Classical propositional operators. An exercise in the foundations of logic. Zbl 0491.03003
Segerberg, Krister |
|
1982
|
The Boole-De Morgan correspondence 1842-1864. Zbl 0505.01018
Smith, G. C. |
|
1982
|
Formal number theory and computability. A workbook. Zbl 0504.03002
Fisher, Alec |
|
1982
|
Elements of intuitionism. Zbl 0358.02032
Dummett, Michael |
|
1977
|
Choice sequences. A chapter of intuitionistic mathematics. Zbl 0355.02026
Troelstra, A. S. |
|
1977
|
Boolean-valued models and independence proofs in set theory. Zbl 0371.02028
Bell, John Lane |
|
1977
|
Beginning model theory. The completeness theorem and some consequences. Zbl 0361.02064
Bridge, Jane |
|
1977
|