Introduction to Metamathematics

Introduction to Metamathematics

Bibliographic Details
Main Author:	Kleene, Stephen C. (Author)
Format:	Book
Language:	English
Published:	Princeton van Nostrand Reinhold Co Ltd c1967
Subjects:	Μεταμαθηματικά

Similar Items

Constructivity in mathematics : proceedinds of the Colloquium held at Amsterdam, 1957 /
Published: (1959)

Metamathematik /
by: Lorenzen, Paul, 1915-1994
Published: (1962)

Μεταμαθηματικές θεωρήσεις στην [sic] γεωμετρία από τους Hilbert και Tarski
by: Ζούπας, Αθανάσιος
Published: (2015)

Introduction to metamathematics
by: Kleene, Stephen Cole, 1909-1994
Published: (1971)

Introduction to model theory and to the metamathematics of algebra /
by: Robinson, Abraham 1918-1974
Published: (1974)

Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (1993)

Metamathematics of fuzzy logic
by: Hajek, Petr
Published: (1998)

Metamathematics, machines, and Godel's proof /
by: Shankar, N.
Published: (1997)

Logic, semantics, metamathematics papers from 1923 to 1938
by: Tarski, Alfred
Published: (1956)

Metamathematical investigation of intuitionistic arithmetic and analysis /
Published: (1973)

Mathematical logic
by: Kleene, Stephen Cole, 1909-1994
Published: (1967)

The foundations of intuitionistic mathematics : especially in relation to recursive functions /
by: Kleene, Stephen Cole, 1909-1994
Published: (1965)

An introduction to Hegel freedom, truth and history
by: Houlgate, Stephen
Published: (2005)

Introduction to fluid mechanics
by: Whitaker, Stephen
Published: (1968)

A classical introduction to Galois theory /
by: Newman, Stephen C., 1952-
Published: (2012)

An introduction to combustion concepts and applications
by: Turns, Stephen R.
Published: (1996)

Introduction to composite materials /
by: Tsai, Stephen W.
Published: (1980)

Introduction to systems theory
by: Director, Stephen W.
Published: (1972)

Introduction to the economics of water resources : an international perspective /
by: Merrett, Stephen
Published: (1997)

An Introduction to Toxicology
by: Burcham, Philip C.
Published: (2014)

An introduction to linguistic theory and language acquisition
by: Crain, Stephen
Published: (1999)

An introduction to cell and molecular biology
by: Wolfe, Stephen L.
Published: (1995)

An introduction to population
by: Kammeyer, Kenneth C. W.
Published: (1971)

An Introduction to Cryptology
by: Tilborg van, Henk C.
Published: (1988)

An introduction to marine ecology /
by: Barnes, R. S. K. (Richard Stephen Kent)
Published: (1999)

Introduction to Applied Nonlinear Dynamical Systems and Chaos
by: Wiggins, Stephen
Published: (2003)

Introduction to applied nonlinear dynamical systems and chaos /
by: Wiggins, Stephen
Published: (1990)

A practical introduction to the human-computer interface /
by: Hill, Stephen
Published: (1995)

Introduction to Cyberdeception
by: Rowe, Neil C., et al.
Published: (2016)

A geometric introduction to topology
by: Wall, C.T.C
Published: (1979)

An introduction to computer aided production management /
by: Childe, Stephen J.
Published: (1997)

Introduction to biotechnology
by: Brown, C. M., 1941- (Charles Malcolm)
Published: (1987)

Introduction to laser technology /
by: Hitz, C. Breck
Published: (2012)

An introduction to bioinformatics algorithms /
by: Jones, Neil C.
Published: (2004)

Introduction to space science
by: Haymes, Robert C.
Published: (1971)

An introduction to computational biochemistry /
by: Tsai, C. Stan
Published: (2002)

An introduction to elementary particles
by: Williams, W. S. C.
Published: (1971)

An introduction to nonlinear optics
by: Baldwin, George C.
Published: (1969)

An introduction to philosophical logic
by: Grayling, A. C.
Published: (1997)

Introduction to electric circuits
by: Dorf, Richard C.
Published: (1993)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών