Handbook of mathematical induction : theory and applications /

Handbook of mathematical induction : theory and applications /

Includes bibliographical references and indexes

Bibliografiske detaljer
Hovedforfatter:	507789 Gunderson, David S.
Format:
Sprog:	eng
Udgivet:	London : CRC, 2011
Fag:	Proof theory Induction (Mathematics) Logic, Symbolic and mathematical

Lignende værker

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

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

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

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

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

Theorem proving [filem]
Udgivet: (1969)

Theorem proving [kasetvideo]
Udgivet: (1969)

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

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

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

Logic, proof and sets /
af: 388844 Bittinger, Marvin L.
Udgivet: (1982)

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

Handbook of mathematical logic /
af: Barwise, Jon
Udgivet: (1977)

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

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

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

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

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

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

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

Mathematics : ideas and uses /
af: 323693 Russell, David
Udgivet: (1979)

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

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

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

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

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

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

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

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

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

Ideas in mathematics /
af: 351334 Douglis, Avron
Udgivet: (1970)

Elements of mathematics /
af: 337122 Armstrong, James W.
Udgivet: (1970)

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

Mathematical logic /
af: Goodstein, R. L. (Reuben Louis)
Udgivet: (1957)

Mathematical logic /
af: 344925 Monk, James Donald
Udgivet: (1976)

Mathematical reasoning /
af: 344032 Harnadek, Anita
Udgivet: (1969)

Mathematical logic /
af: 307997 Shoenfield, Joseph Robert
Udgivet: (1967)

Mathematical logic /
af: 365617 Quine, Willard Van Orman
Udgivet: (1951)

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

Mathematical logic, the theory of algorithms and theory of sets /
af: Adjan, S.
Udgivet: (1977)