Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies /

Handbook of mathematical induction : theory and applications /
by: Gunderson, David S.
Published: (2011)

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

Theorems, corollaries, lemmas, and methods of proof /
by: Rossi, Richard J., 1956-
Published: (2006)

Transition to analysis with proof /
by: Krantz, Steven G.
Published: (2018)

Studies in inductive probability and rational expectation /
by: Kuipers, Theo A. F., 1947-
Published: (1978)

Metamathematical investigation of intuitionistic arithmetic and analysis /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973)

Mathematical analysis and proof /
by: Stirling, David S. G., 1947-
Published: (2009)

Transition to analysis with proof /
by: Krantz, Steven G. (Steven George), 1951-
Published: (2018)

Induction, recursion, and programming /
by: Wand, Mitchell
Published: (1980)

The method of mathematical induction /
by: Sominskii, I. S.
Published: (1963)

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

Foundations of inductive reasoning /
by: Christensen, Ronald, 1937-
Published: (1964)

Elementary induction on abstract structures /
by: Moschovakis, Yiannis N.
Published: (1974)

Studies in inductive logic and probability /
by: Carnap, Rudolf, 1891-1970
Published: (1971)

Metamathematical investigation of intuitionistic arithmetic and analysis /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973)

Optimum inductive methods : a study in inductive probability, Bayesian statistics, and verisimilitude /
by: Festa, Roberto
Published: (1993)

Proof theory : an introduction /
by: Pohlers, Wolfram
Published: (1989)

Logique inductive et probabilite.
by: Boudot, Maurice
Published: (1972)

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

Compactness and contradiction /
by: Tao, Terence, 1975-
Published: (2013)

Handbook of Mathematical Induction : Theory and Applications
by: Gunderson, David S.
Published: (2014)

A transition to proof : an introduction to advanced mathematics /
by: Nicholson, Neil R.
Published: (2018)

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

Induction and analogy in mathematics /
by: Pólya, George, 1887-1985
Published: (1954)

Elementary induction on abstract structures /
by: Moschovakis, Yiannis N.
Published: (1974)

Statistical and inductive inference by minimum message length /
by: Wallace, C. S. (Christopher S.), -2004
Published: (2005)

An Introduction to Mathematical Proofs.
by: Loehr, Nicholas A.
Published: (2019)

Pure inductive logic /
by: Paris, J. B. (Jeff B.), et al.
Published: (2015)

A transition to proof : an introduction to advanced mathematics /
by: Nicholson, Neil R.
Published: (2018)

Principles of induction logging /
by: Kaufman, Alexander A., 1931-
Published: (2003)

Principles of induction logging /
by: Kaufman, Alexander A., 1931-2023
Published: (2003)

Syllogistic logic and mathematical proof /
by: Mancosu, Paolo, et al.
Published: (2023)

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

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

Proofs 101 : an introduction to formal mathematics /
by: Kirtland, Joseph (Mathematics professor)
Published: (2021)

Inductance : loop and partial /
by: Paul, Clayton R.
Published: (2010)