How to read and do proofs : an introduction to mathematical thought processes /

Introduction to mathematical proofs /
by: Roberts, Charles
Published: (2014)

Introduction to mathematical proofs /
by: Roberts, Charles
Published: (2014)

The semantics and proof theory of the logic of bunched implications /
by: Pym, David J.
Published: (2002)

Mathematical intuitionism : introduction to proof theory /
by: Dragalin, Alʹbert Grigorʹevich
Published: (1988)

Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 /
Published: (1970)

Proof, logic, and formalization /
Published: (1992)

Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968 /
Published: (1970)

Models, Algebras, and Proofs /
Published: (2021)

How to prove it : a structured approach /
by: Velleman, Daniel J.
Published: (1994)

An introduction to mathematical thought.
by: Stabler, Edward Russell, 1906-
Published: (1953)

Logic, proof, and sets /
by: Bittinger, Marvin L.
Published: (1982)

An algebraic introduction to mathematical logic /
by: Barnes, Donald W.
Published: (1975)

Introduction to mathematical logic /
by: Mendelson, Elliott
Published: (2010)

An introduction to mathematical logic /
by: Robison, Gerson B., 1909-
Published: (1969)

Introduction to mathematical logic.
by: Mendelson, Elliott
Published: (1979)

Mathematical logic.
by: Ponasse, Daniel
Published: (1973)

An introduction to mathematical logic and type theory : to truth through proof /
by: Andrews, P. B. (Peter Bruce), 1937-
Published: (1986)

An introduction to mathematical logic and type theory : to truth through proof /
by: Andrews, P. B. (Peter Bruce), 1937-
Published: (2002)

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

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

Models, Algebras, and Proofs /
Published: (2021)

A concise introduction to mathematical logic /
by: Rautenberg, Wolfgang
Published: (2006)

Understanding mathematical proof /
by: Taylor, John, 1957-, et al.
Published: (2018)

Introduction to the foundations of mathematics [by] Raymond L. Wilder.
by: Wilder, Raymond Louis, 1896-1982
Published: (1965)

Proof Theory : The First Step into Impredicativity /
by: Pohlers, Wolfram
Published: (2009)

Perspectives on the history of mathematical logic /
Published: (2008)

Mathematical interpretation of formal systems
Published: (1955)

Introduction to mathematical logic : set theory, computable functions, model theory /
by: Malitz, J.
Published: (1979)

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

Logic colloquium 2000 (hardcover) : lecture notes in logic, 19 /
Published: (2005)

Logic colloquium '02: lecture notes in logic 27 : lecture notes in logic 27 /
Published: (2006)

Logic colloquium '99 : lecture notes in logic 17 /
Published: (2004)

Mathematics and mathematical logic : new research /
Published: (2010)

Studies in constructive mathematics and mathematical logic /
Published: (1969)

Reductive logic and proof-search : proof theory, semantics, and control /
by: Pym, David J., et al.
Published: (2004)

Introduction to reasoning and proof : grades 3-5 /
by: Schultz-Ferrell, Karren
Published: (2007)