Handbook of mathematical induction : theory and applications /

Handbook of mathematical induction : theory and applications /

Includes bibliographical references and indexes

Bibliographic Details
Main Author:	507789 Gunderson, David S.
Format:
Language:	eng
Published:	London : CRC, 2011
Subjects:	Proof theory Induction (Mathematics) Logic, Symbolic and mathematical

Similar Items

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)

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

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

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

Theorem proving [filem]
Published: (1969)

Theorem proving [kasetvideo]
Published: (1969)

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)

Learning to reason : an introduction to logic, sets and relations /
by: Rodgers, Nancy, 1941-
Published: (2000)

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

Mathematical logic : applications and theory /
by: 461395 Rubin, Jean E.
Published: (1990)

Handbook of mathematical logic /
by: Barwise, Jon
Published: (1977)

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

The oxford handbook of philosophy of mathematics and logic /
by: Shapiro, Stewart, 1951-
Published: (2005)

Elements of mathematical logic (model theory) /
by: 351900 Kreisel, G., et al.
Published: (1971)

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

Understanding Mathematical Logic and its Applications /
by: Swafford, Brenden, author 648092
Published: (2012)

Mathematical logic : an introduction to model theory /
by: 314347 Lightstone, A. H., et al.
Published: (1978)

Elements of mathematical logic and set theory /
by: 323266 Slupecki, J., et al.
Published: (1967)

Mathematics : ideas and uses /
by: 323693 Russell, David
Published: (1979)

The mathematics of logic : a guide to completeness theorems and their applications /
by: 186853 Kaye, Richard
Published: (2007)

Principles of mathematical logic /
by: 174681 Hilbert, David, et al.
Published: (1950)

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

Mathematics and mathematical logic : new research /
by: Milosav, Peter, et al.
Published: (c201)

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

Studies in constructive mathematics and mathematical logic /
by: 321705 Slisenko, A. O.
Published: (1970)

Studies in constructive mathematics and mathematical logic /
by: 321705 Slisenko, A. O.
Published: (1971)

Studies in constructive mathematics and mathematical logic /
by: 321705 Slisenko, A. O.
Published: (1969)

Mathematical logic and the foundations of mathematics; and introductory surver /
by: 335802 Kneebone, G. T.
Published: ([196)

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

Mathematical logic /
by: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), et al.
Published: (1978)

Mathematical logic /
by: Goodstein, R. L. (Reuben Louis)
Published: (1957)

Mathematical logic /
by: 344925 Monk, James Donald
Published: (1976)

Mathematical reasoning /
by: 344032 Harnadek, Anita
Published: (1969)

Mathematical logic /
by: 307997 Shoenfield, Joseph Robert
Published: (1967)

Mathematical logic /
by: 365617 Quine, Willard Van Orman
Published: (1951)

Mathematical logic /
by: 219920 Ebbinghaus, Heinz-Dieter, et al.
Published: (1994)

Ideas in mathematics /
by: 351334 Douglis, Avron
Published: (1970)

Elements of mathematics /
by: 337122 Armstrong, James W.
Published: (1970)