The mathematics of logic a guide to completeness theorems and their applications /

Mathematical logic
by: Tourlakis, George J.
Published: (2003)

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
Published: (1988)

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
by: Hopkins, Burt C.
Published: (2011)

A tour through mathematical logic
by: Wolf, Robert S.
Published: (2005)

An introduction to non-classical logic from if to is /
by: Priest, Graham
Published: (2008)

Logic and discrete mathematics : a concise introduction /
by: Conradie, Willem, 1978-, et al.
Published: (2015)

Logic and discrete mathematics : a concise introduction /
by: Conradie, Willem, 1978-, et al.
Published: (2015)

In the light of logic
by: Feferman, Solomon
Published: (1998)

Logical dynamics of information and interaction
by: Benthem, J. F. A. K. van, 1949-
Published: (2011)

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas /
Published: (2007)

Introduction to mathematical structures and proofs /
by: Gerstein, Larry J.
Published: (1996)

Logicism and its philosophical legacy
by: Demopoulos, William
Published: (2013)

Proof, logic, and formalization
Published: (1992)

Kripke's worlds : an introduction to modal logics via Tableaux /
by: Gasquet, Olivier
Published: (2014)

Philosophy of mathematics in the twentieth century : selected essays /
by: Parsons, Charles, 1933-
Published: (2014)

Effective mathematics of the uncountable /
Published: (2013)

Foundations without foundationalism a case for second-order logic.
by: Shapiro, Stewart, 1951-
Published: (2000)

Concepts of proof in mathematics, philosophy, and computer science /
Published: (2016)

Diamond a paradox logic /
by: Hellerstein, N. S. (Nathaniel S.)
Published: (2010)

Handbook of mathematical induction : theory and applications /
by: Gunderson, David S.
Published: (2010)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
by: Goldblatt, Robert
Published: (2011)

Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 /
Published: (1987)

Mathematical logic
by: Quine, W. V. (Willard Van Orman)
Published: (1981)

Mathematical logic /
by: Ebbinghaus, H. -D, et al.
Published: (1994)

Formalism and beyond : on the nature of mathematical discourse /
Published: (2014)

Logical reasoning with diagrams
Published: (1996)

The birth of model theory Lowenheim's theorem in the frame of the theory of relatives /
by: Badesa, Calixto
Published: (2004)

Paradox and paraconsistency conflict resolution in the abstract sciences /
by: Woods, John
Published: (2003)

Essays on non-classical logic
Published: (2001)

Distilling ideas an introduction to mathematical thinking /
by: Katz, Brian P.
Published: (2013)

Logic without borders /
Published: (2015)

Intermediate logic
by: Bostock, David
Published: (1997)

Realizability an introduction to its categorical side /
by: Oosten, Jaap van
Published: (2008)

Institution-independent model theory
by: Diaconescu, Razvan
Published: (2008)

Symbolic logic syntax, semantics, and proof /
by: Agler, David W., 1982-
Published: (2013)

The Oxford handbook of philosophy of mathematics and logic
Published: (2005)