Foundations of logic and mathematics : applications to computer science and cryptography /

Main Author:	Nievergelt, Yves
Format:	Book
Language:	English
Published:	Boston : Birkhäuser, c2002.
Subjects:	Logic, Symbolic and mathematical Set theory Number theory Computer science > Mathematics

Similar Items

Lectures in logic and set theory /
by: Tourlakis, George J.
Published: (2003)

Fundamentals of mathematical logic /
by: Hinman, Peter G.
Published: (2005)

Το άπειρο και ο νους/
by: Rucker, Rudy von Bitter, 1946-
Published: (1999)

Mathematical logic : an introduction to model theory /
by: Lightstone, A. H.
Published: (1978)

Infinity and truth /

The logical and set-theoretical foundations of mathematics /
by: Zulauf, A.
Published: (1969)

The foundations of mathematics and other logical essays,
by: Ramsey, Frank Plumpton, 1903-1930
Published: (1931)

The foundations of mathematics and other logical essays,
by: Ramsey, Frank Plumpton, 1903-1930
Published: (1931)

Logic and discrete mathematics : a concise introduction /
by: Conradie, Willem, 1978-

Logic and discrete mathematics : a concise introduction /
by: Conradie, Willem, 1978-

Mathematical logic /
by: Chiswell, Ian, 1948-
Published: (2007)

Mathematical logic for computer science /
by: Ben-Ari, M. 1948-
Published: (1993)

Mathematical logic for computer science /
by: Ben-Ari, M., 1948-
Published: (2001)

Mathematical logic for computer science/
by: Ben-Ari, M., 1948-
Published: (2001)

Mathematical logic for computer science/
by: Ben-Ari, M., 1948-
Published: (1993)

Meaning and existence in mathematics/
by: Castonguay, Charles
Published: (1972)

A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (1972)

Introduction to mathematical logic
by: Mendelson, Elliot
Published: (1997)

Classical mathematical logic the semantic foundations of logic /
by: Epstein, Richard L.
Published: (2011)

Mathematical logic/
by: Kleene, Stephen Cole, 1909-1994
Published: (2002)

Logic without borders /

Mathematical logic and foundations of set theory. : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968. /
Published: (1970)

Two applications of logic to mathematics /
by: Takeuti, Gaisi, 1926-

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

Mathematical logic/
by: Monk, James Donald, 1930-
Published: (1976)

Mathematical logic
by: Chiswell, Ian, 1948-
Published: (2007)

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

Mathematical logic/
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1984)

Mathematical logic/
by: Monk, J. Donald
Published: (1976)

The mathematics of logic : a guide to completeness theorems and their applications /
by: Kaye, Richard
Published: (2007)

Mathematical logic in the 20th century /
Published: (2003)

Éléments de logique mathématique : théorie des modèles /
by: Kreisel, Georg
Published: (1967)

Mathematical thinking and writing : a transition to abstract mathematics /
by: Maddox, Randall B.
Published: (2002)

A course in mathematical logic/
by: Manin, Yu. I.
Published: (1977)

Introduction to mathematical logic: set theory, computable functions, model theory/
by: Malitz, Jerome, 1936-
Published: (1979)

Language, truth, and logic in mathematics /
by: Hintikka, Jaakko, 1929-
Published: (1998)

The development of mathematical logic/
by: Nidditch, Peter H.
Published: (1998)

Mathematical logic: a course with exercises/
by: Cori, Rene
Published: (2000)

Introduction to the foundations of mathematics/
by: Wilder, Raymond Louis, 1896-
Published: (1952)

A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (2002)

Cannot write session to /tmp/vufind_sessions/sess_qlej74gnaf2hngo6g0oempknd6