Proof theory /

Proof theory /

41

Manylion Llyfryddiaeth
Prif Awdur:	349140 Schutte, Kurt
Fformat:
Cyhoeddwyd:	Berlin : Springer-Verlag, 1977
Pynciau:	Proof theory

Eitemau Tebyg

Proof theory /
gan: Aczel, Peter
Cyhoeddwyd: (2008)

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

Proof theory and intuitionistic systems /
gan: 349246 Scarpellini, Bruno
Cyhoeddwyd: (1971)

Conjecture and proof /
gan: 181611 Laczkovich, Miklos
Cyhoeddwyd: (2001)

Proof by induction [filem]
Cyhoeddwyd: (1969)

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

Math proofs demystified /
gan: 344368 Gibilisco, Stan
Cyhoeddwyd: (2005)

The nuts and bolts of proofs /
gan: 312353 Cupillari, Antonella
Cyhoeddwyd: (2005)

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

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

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

Introduction to proof in abstract mathematics /
gan: 460536 Wohlgemuth, Andrew
Cyhoeddwyd: (1990)

Proof /
gan: Plumpton, C. (Charles), et al.
Cyhoeddwyd: (1984)

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

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

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

Algebra of proofs /
gan: 349024 Szabo, M. E.
Cyhoeddwyd: (1978)

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

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

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

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

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

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

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

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

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

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

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

Logic, proof and sets /
gan: 388844 Bittinger, Marvin L.
Cyhoeddwyd: (1982)

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

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

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

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

On understanding of proof in English and American law
gan: O. V. Tiaglo
Cyhoeddwyd: (2018-11-01)

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

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

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

RETRACTED: Tax procedural proof: problems of theory and practice
gan: I. V. Glazunova, et al.
Cyhoeddwyd: (2022-09-01)

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

Efficient and Universal Merkle Tree Inclusion Proofs via OR Aggregation
gan: Oleksandr Kuznetsov, et al.
Cyhoeddwyd: (2024-07-01)