Mathematical problems from applied logic II : logics for the XXIst century /

Mathematical problems from applied logic II : logics for the XXIst century /

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Awdur Corfforaethol:	SpringerLink (Online service)
Awduron Eraill:	Goncharov, Sergei S., Zakharyaschev, Michael, Gabbay, Dov M., 1945-
Fformat:	eLyfr
Iaith:	English
Cyhoeddwyd:	New York, NY Springer Science+Business Media, LLC 2007.
Cyfres:	International Mathematical Series, 5
Pynciau:	Logic, Symbolic and mathematical
Mynediad Ar-lein:	Click here to view the full text content
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

Mathematical problems from applied logic I logics for the XXIst century /
Cyhoeddwyd: (2006)

Mathematical logic /
gan: Chiswell, Ian, 1948-
Cyhoeddwyd: (2007)

Mathematical logic /
gan: Shoenfield, Joseph R.
Cyhoeddwyd: (1967)

Mathematical logic /
Cyhoeddwyd: (2001)

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

Introduction to mathematical logic /
gan: Walicki, Michał
Cyhoeddwyd: (2012)

Introduction to mathematical logic /
gan: Mendelson, Elliott
Cyhoeddwyd: (2010)

Introduction to mathematical logic /
gan: Mendelson, Elliott
Cyhoeddwyd: (1997)

Mathematical logic
gan: Ebbinghaus, H.-D, et al.
Cyhoeddwyd: (1994)

Mathematical logic /
Cyhoeddwyd: (2001)

Mathematical logic
gan: Ebbinghaus, H.-D, et al.
Cyhoeddwyd: (1994)

Journal of mathematical logic.
Cyhoeddwyd: (2001)

Logic for mathematics and computer science /
gan: Burris, Stanley N.
Cyhoeddwyd: (1998)

A Course on Mathematical Logic
gan: Srivastava, S. M.
Cyhoeddwyd: (2008)

A mathematical introduction to logic /
gan: Enderton, Herbert B.
Cyhoeddwyd: (2001)

Mathematical logic /
gan: Kleene, Stephen Cole
Cyhoeddwyd: (2002)

Introduction to mathematical logic /
gan: Mendelson, Elliott
Cyhoeddwyd: (1997)

Introduction to mathematical logic
gan: Mendelson, Elliott
Cyhoeddwyd: (2010)

Introduction to mathematical logic
gan: Mendelson, Elliott
Cyhoeddwyd: (2010)

A concise introduction to mathematical logic /
gan: Rautenberg, Wolfgang
Cyhoeddwyd: (2006)

A Course in mathematical Logic for mathematicians
gan: Manin, Yu. I.
Cyhoeddwyd: (2010)

A mathematical introduction to logic /
gan: Enderton, Herbert B.
Cyhoeddwyd: (2001)

A mathematical introduction to logic
gan: Enderton, Herbert B.
Cyhoeddwyd: (2001)

A mathematical introduction to logic
gan: Enderton, Herbert B.
Cyhoeddwyd: (2001)

Mathematical logic and the foundations of mathematics : an introductory survey /
gan: Kneebone, G. T.
Cyhoeddwyd: (2001)

Language, truth and logic in mathematics /
gan: Hintikka, Jaakko
Cyhoeddwyd: (1998)

A concise introduction to mathematical logic
gan: Rautenberg, Wolfgang
Cyhoeddwyd: (2006)

A concise introduction to mathematical logic /
gan: Rautenberg, Wolfgang
Cyhoeddwyd: (2006)

A concise introduction to mathematical logic
gan: Rautenberg, Wolfgang
Cyhoeddwyd: (2006)

Mathematical logic foundations for information science /
gan: Li, Wei
Cyhoeddwyd: (2010)

Mathematical logic : foundations for information science /
gan: Li, Wei
Cyhoeddwyd: (2014)

Mathematical logic /
gan: Kleene, Stephen Cole
Cyhoeddwyd: (2002)

Logic, sets and recursions /
gan: Causey, Robert L.
Cyhoeddwyd: (2006)

Understanding symbolic logic /
gan: Klenk, Virginia
Cyhoeddwyd: (2008)

The Foundations of mathematics and other logical essays /
gan: Ramsey, Frank Plumpton
Cyhoeddwyd: (1931)

Mathematical logic for computer science /
gan: Ben-Ari, Mordechai
Cyhoeddwyd: (2012)

Perspectives on the history of mathematical logic
Cyhoeddwyd: (2008)

Perspectives on the history of mathematical logic
Cyhoeddwyd: (2008)

The mathematics of paul erdos II /
Cyhoeddwyd: (2013)

Internal logic : foundations of mathematics from Kronecker to Hilbert /
gan: Gauthier, Yvon
Cyhoeddwyd: (2002)