Algebra of proofs /

Algebra of proofs /

41

Bibliographic Details
Main Author:	349024 Szabo, M. E.
Format:
Published:	Amsterdam: North-Holland, 1978
Subjects:	Proof theory Categories (Mathematics)

Similar Items

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

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)

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

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

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

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

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

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

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

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

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)

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

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

Proof theory /
by: Aczel, Peter
Published: (2008)

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

Proofs without words
by: Edmundas Mazėtis, et al.
Published: (2023-11-01)

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

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

Proof by induction [filem]
Published: (1969)

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

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

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

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

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

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

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

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

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

Incorrect theorems and proofs: An analysis of pre-service mathematics teachers' proof evaluation skills
by: Hasibe Sevgi Moralı, et al.
Published: (2023-06-01)

Conception of understanding in mathematical proof
by: V. V. Tselishchev, et al.
Published: (2021-12-01)

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

A study on pre-service mathematics teachers’ criteria of proof evaluation
by: Tuğba Öztürk, et al.
Published: (2022-05-01)

High School Students’ Performances on Proof Comprehension Tests
by: Burcak Boz Yaman Boz Yaman, et al.
Published: (2018-05-01)

Overlap Algebras as Almost Discrete Locales
by: Francesco Ciraulo
Published: (2023-12-01)

Three zone learning concepts to improve mathematical proof of probability theory
by: Sri Tirto Madawistama, et al.
Published: (2022-05-01)

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

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

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

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