Llwytho...

Côd QR

Introduction to mathematical structures and proofs /

other_versions_link

Manylion Llyfryddiaeth
Prif Awdur:	Gerstein, Larry J.
Fformat:	Printed Book
Cyhoeddwyd:	New York : Springer, c2012.
Rhifyn:	2nd ed.
Cyfres:	Undergraduate texts in mathematics,
Pynciau:	Logic, Symbolic and mathematical. Mathematische Logik. Mengenlehre. Kombinatorik. Zahlentheorie. Komplexe Zahl.

Eitemau Tebyg

A course in mathematical logic for mathematicians /
gan: Manin, I︠U︡. I.
Cyhoeddwyd: (2010)

Introduction to mathematical structures and proofs /
gan: Gerstein, Larry J.
Cyhoeddwyd: (2012)

A transition to mathematics with proofs /
gan: Cullinane, Michael J.
Cyhoeddwyd: (2013)

Introduction to mathematical structures and proofs
gan: Larry J Gerstein
Cyhoeddwyd: (2012)

Proofs and refutations : the logic of mathematical discovery /
gan: Lakatos, Imre
Cyhoeddwyd: (1976)

Introduction to mathematical proofs : a transition /
gan: Roberts, Charles E.
Cyhoeddwyd: (2009)

Introduction to mathematical proofs : a transition /
gan: Roberts, Charles E.
Cyhoeddwyd: (2009)

Proofs and refutations : the logic of mathematical discovery /
gan: Lakatos, Imre
Cyhoeddwyd: (1976)

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

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

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: (1964)

An introduction to mathematical logic /
gan: Hodel, Richard E.
Cyhoeddwyd: (2013)

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

Understanding mathematical proof /
gan: Taylor, John
Cyhoeddwyd: (2014)

Introduction to elementary mathematical logic /
gan: Stolyar, A. A.
Cyhoeddwyd: (1983)

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

What is mathematical logic? /
gan: Crossley,J.N
Cyhoeddwyd: (1972)

Concise introduction to pure mathematics.- 3rd ed. /
gan: Liebeck, Martin
Cyhoeddwyd: (2011)

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

Mathematical logic
gan: Chiswell,Ian, et al.
Cyhoeddwyd: (2008)

Course of mathematical logic /
gan: Fraïssé, Roland
Cyhoeddwyd: (1973)

Foundations of mathematical logic /
gan: Curry, Haskell B.
Cyhoeddwyd: (1977)

Mathematical fallacies and paradoxes /
gan: Bunch, Bryan H.
Cyhoeddwyd: (1997)

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

A concise introduction to pure mathematics /
gan: Liebeck, M. W.
Cyhoeddwyd: (2016)

Profile of mathematical logic
gan: Delong, Horward
Cyhoeddwyd: (1970)

Godel's proof /
gan: Ernest Nagel
Cyhoeddwyd: (2005)

A precis of mathematical logic /
gan: Bochenski, Joseph M.
Cyhoeddwyd: (1959)

A profile of mathematical logic /
gan: DeLong, Howard
Cyhoeddwyd: (1970)

Popular lectures on mathematical logic /
gan: Wang, Hao
Cyhoeddwyd: (1993)

An outline of mathematical logic : fundamental results and notions explained with all details /
gan: Grzegorczyk, Andrzej
Cyhoeddwyd: (1974)

Introduction to symbolic logic /
gan: Basson, A. H., et al.
Cyhoeddwyd: (1976)

Introduction to symbolic logic /
gan: Basson, A. H., et al.
Cyhoeddwyd: (1976)

Introduction to symbolic logic /
gan: Carney, James D.
Cyhoeddwyd: (1970)

An introduction to symbolic logic /
gan: Langer, Susanne K.
Cyhoeddwyd: (1967)

Discrete mathematics: for computer scientists /
gan: Truss,, John
Cyhoeddwyd: (2000)

Mathematical logic for computer science /
Cyhoeddwyd: (2008)

Introduction to mathematics of satisfiability /
gan: Marek, Victor W.
Cyhoeddwyd: (2009)