Proofs and fundamentals [electronic resource] : a first course in abstract mathematics / Ethan D. Bloch.

Show other versions (1)

Bibliographic Details
Main Author:	Bloch, Ethan D., 1956-
Language:	English
Published:	New York : Springer, c2011.
Edition:	2nd ed.
Subjects:	Proof theory. Set theory.
Online Access:	Springer English/International eBooks 2011 - Full Set: 2011 (Springer Link)
Variant Title:	Proofs and Fundamentals : A First Course in Abstract Mathematics
Format:	Electronic eBook

Similar Items

Proofs and fundamentals a first course in abstract mathematics
by: Bloch, Ethan D., 1956-
Published: (2000)

Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Published: (1999)

Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Published: (1999)

Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Published: (1999)

Charming proofs a journey into elegant mathematics
by: Alsina, Claudi
Published: (2010)

The nuts and bolts of proofs an introduction to mathematical proofs
by: Cupillari, Antonella
Published: (2024)

The nuts and bolts of proofs an introduction to mathematical proofs
by: Cupillari, Antonella
Published: (2013)

Mathematical proofs : a transition to advanced mathematics
by: Chartrand, Gary
Published: (2013)

Proof theory the first step into impredicativity
by: Pohlers, Wolfram
Published: (2009)

Proof theory
by: Takeuti, Gaisi, 1926-
Published: (1975)

Proof theory
by: Takeuti, Gaisi, 1926-2017
Published: (1987)

Proof theory
by: Schütte, K. (Kurt)
Published: (1977)

Proof theory
by: Takeuti, Gaisi, 1926-2017
Published: (1975)

Conjecture and proof
by: Laczkovich, Miklós
Published: (2001)

Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990
Published: (1992)

Basic proof theory
by: Troelstra, A. S. (Anne Sjerp)
Published: (1996)

Structural proof theory
by: Negri, Sara, 1967-
Published: (2001)

Proof theory sequent calculi and related formalisms
by: Bimbó, Katalin, 1963-
Published: (2015)

Proof analysis a contribution to Hilbert's last problem
by: Negri, Sara, 1967-
Published: (2011)

Set theory : Boolean-valued models and independence proofs
by: Bell, J. L. (John Lane)
Published: (2005)

Handbook of proof theory
Published: (1998)

Goal-directed proof theory
by: Gabbay, Dov M., 1945-
Published: (2000)

Handbook of proof theory
Published: (1998)

An introduction to mathematical proofs
by: Loehr, Nicholas A.
Published: (2020)

Proof theory and logical complexity
by: Girard, Jean-Yves
Published: (1987)

Fundamental proof methods in computer science : a computer-based approach
by: Arkoudas, Konstantine, et al.
Published: (2017)

The nuts and bolts of proofs
by: Cupillari, Antonella
Published: (2005)

The nuts and bolts of proofs
by: Cupillari, Antonella
Published: (2005)

The nuts and bolts of proofs
by: Cupillari, Antonella
Published: (2001)

Normalization, cut-elimination, and the theory of proofs
by: Ungar, A. M. (Anthony M.), 1945-
Published: (1992)

Sets, Models and Proofs
by: Moerdijk, Ieke, et al.
Published: (2018)

The moment of proof mathematical epiphanies
by: Benson, Donald C.
Published: (1999)

The moment of proof mathematical epiphanies
by: Benson, Donald C.
Published: (1999)

The moment of proof : mathematical epiphanies
by: Benson, Donald C.
Published: (2000)

Ways of proof theory
Published: (2010)

Proof complexity
by: Krajíček, Jan
Published: (2019)

Proofs and computations
by: Schwichtenberg, Helmut, 1942-
Published: (2012)

Proofs and computations
by: Schwichtenberg, Helmut, 1942-, et al.
Published: (2012)

Proofs and computations
by: Schwichtenberg, Helmut, 1942-
Published: (2012)

Math proofs demystified
by: Gibilisco, Stan
Published: (2005)