Proof theory /

Proof theory /

41

Bibliographic Details
Main Author:	Aczel, Peter
Format:
Language:	eng
Published:	Cambridge, UK : Cambridge University Press, 2008
Subjects:	Proof theory

Similar Items

Proof theory /
by: 349140 Schutte, Kurt
Published: (1977)

Basic proof theory /
by: Troelstra, A. S. (Anne Sjerp), et al.
Published: (2006)

Proof theory and intuitionistic systems /
by: 349246 Scarpellini, Bruno
Published: (1971)

Conjecture and proof /
by: 181611 Laczkovich, Miklos
Published: (2001)

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

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

An Introduction to Mathematical Proofs /
by: Loehr, Nicholas A., author 650211
Published: (2020)

Proof by induction [filem]
Published: (1969)

Mathematical reasoning : writing and proof /
by: 395819 Sundstrom, Theodore A.
Published: (2006)

Introduction to proof in abstract mathematics /
by: 460536 Wohlgemuth, Andrew
Published: (1990)

Mathematical proof : an elementary approach /
by: 304136 Halleburg, Arthur E.
Published: (1974)

A Transition to Proof : An Introduction to Advanced Mathematics /
by: Nicholson, Neil R., author
Published: (2019)

Proof /
by: Plumpton, C. (Charles), et al.
Published: (1984)

Proof theory for fuzzy logics /
by: 432738 Metcalfe, George, et al.
Published: (2009)

Proof in mathematics ('if', 'then' and 'perhaps') /
by: Baxandall, P. R.
Published: (1978)

Journey into mathematics : an introduction to proofs /
by: Rotman, Joseph J., 1934-
Published: (1998)

Explanation and proof in mathematics : philosophical and educational perspectives /
by: Hanna, G. (Gila), 1934-, et al.
Published: (c201)

Algebra of proofs /
by: 349024 Szabo, M. E.
Published: (1978)

Introduction to advanced mathematics : a guide to understanding proofs /
by: 522843 Campbell, Connie M.
Published: (c201)

How to read and do proofs : an introduction to mathematical thought process /
by: 419318 Solow, Daniel
Published: (1982)

Analysis : with an introduction to proof /
by: 233723 Lay, Steven R.
Published: (2004)

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

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

Logic II : proof [kasetvideo]
Published: ([19-)

Logic II - proof [filem]
Published: ([n.d)

Proofs and types /
by: 291662 Girard, Jean-Yves, et al.
Published: (1989)

Intuitionism and proof theory : proceedings /
by: Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York), et al.
Published: (1970)

An introduction to mathematical reasoning : lectures on numbers, sets, and functions /
by: Eccles, Peter J., 1945-
Published: (1997)

Granularity analysis for tutoring mathematical proofs /
by: Schiller, Marvin R. G. 525500
Published: (2011)

Introduction to mathematical proofs : a transition /
by: Roberts, Charles E., 1942-
Published: (2009)

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

Conditional and preferential logics : proof methods and theorem proving /
by: 518526 Pozzato, Gian Luca
Published: (c201)

How to read and do proofs : an introduction to mathematical thought processes /
by: 419318 Solow, Daniel
Published: (2005)

Proff by induction [kasetvideo]
Published: (1969)

BUILDING PROOFS : A Practical Guide /
by: 209827 Oliveira, Suely, et al.
Published: (2016)

Proof methods for modal and intuitionistic logics /
by: Fitting, Melvin, 1942-
Published: (1983)

Information Theory
by: Elias, Peter
Published: (2010)

Logic in algebraic form : three languages and theories /
by: 366577 Craig, William
Published: (1974)

A bridge to advanced mathematics /
by: 366690 Sentilles, Dennis
Published: (1975)

Using sophiscated models in resolution theorem proving /
by: 367238 Sandford, David M.
Published: (1980)