Introduction to Metamathematics

Introduction to Metamathematics

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Kleene, Stephen C. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Princeton van Nostrand Reinhold Co Ltd c1967
Θέματα:	Μεταμαθηματικά

Παρόμοια τεκμήρια

Constructivity in mathematics : proceedinds of the Colloquium held at Amsterdam, 1957 /
Έκδοση: (1959)

Metamathematik /
ανά: Lorenzen, Paul, 1915-1994
Έκδοση: (1962)

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

Introduction to metamathematics
ανά: Kleene, Stephen Cole, 1909-1994
Έκδοση: (1971)

Introduction to model theory and to the metamathematics of algebra /
ανά: Robinson, Abraham 1918-1974
Έκδοση: (1974)

Recursion theory for metamathematics
ανά: Smullyan, Raymond M.
Έκδοση: (1993)

Metamathematics of fuzzy logic
ανά: Hajek, Petr
Έκδοση: (1998)

Metamathematics, machines, and Godel's proof /
ανά: Shankar, N.
Έκδοση: (1997)

Logic, semantics, metamathematics papers from 1923 to 1938
ανά: Tarski, Alfred
Έκδοση: (1956)

Metamathematical investigation of intuitionistic arithmetic and analysis /
Έκδοση: (1973)

Mathematical logic
ανά: Kleene, Stephen Cole, 1909-1994
Έκδοση: (1967)

The foundations of intuitionistic mathematics : especially in relation to recursive functions /
ανά: Kleene, Stephen Cole, 1909-1994
Έκδοση: (1965)

An introduction to Hegel freedom, truth and history
ανά: Houlgate, Stephen
Έκδοση: (2005)

Introduction to fluid mechanics
ανά: Whitaker, Stephen
Έκδοση: (1968)

A classical introduction to Galois theory /
ανά: Newman, Stephen C., 1952-
Έκδοση: (2012)

An introduction to combustion concepts and applications
ανά: Turns, Stephen R.
Έκδοση: (1996)

Introduction to composite materials /
ανά: Tsai, Stephen W.
Έκδοση: (1980)

Introduction to systems theory
ανά: Director, Stephen W.
Έκδοση: (1972)

Introduction to the economics of water resources : an international perspective /
ανά: Merrett, Stephen
Έκδοση: (1997)

An Introduction to Toxicology
ανά: Burcham, Philip C.
Έκδοση: (2014)

An introduction to linguistic theory and language acquisition
ανά: Crain, Stephen
Έκδοση: (1999)

An introduction to cell and molecular biology
ανά: Wolfe, Stephen L.
Έκδοση: (1995)

An Introduction to Cryptology
ανά: Tilborg van, Henk C.
Έκδοση: (1988)

An introduction to population
ανά: Kammeyer, Kenneth C. W.
Έκδοση: (1971)

An introduction to marine ecology /
ανά: Barnes, R. S. K. (Richard Stephen Kent)
Έκδοση: (1999)

Introduction to Applied Nonlinear Dynamical Systems and Chaos
ανά: Wiggins, Stephen
Έκδοση: (2003)

Introduction to applied nonlinear dynamical systems and chaos /
ανά: Wiggins, Stephen
Έκδοση: (1990)

A practical introduction to the human-computer interface /
ανά: Hill, Stephen
Έκδοση: (1995)

Introduction to Cyberdeception
ανά: Rowe, Neil C., κ.ά.
Έκδοση: (2016)

A geometric introduction to topology
ανά: Wall, C.T.C
Έκδοση: (1979)

An introduction to computer aided production management /
ανά: Childe, Stephen J.
Έκδοση: (1997)

Introduction to biotechnology
ανά: Brown, C. M., 1941- (Charles Malcolm)
Έκδοση: (1987)

Introduction to laser technology /
ανά: Hitz, C. Breck
Έκδοση: (2012)

An introduction to bioinformatics algorithms /
ανά: Jones, Neil C.
Έκδοση: (2004)

An introduction to database systems /
ανά: Date, C. J.
Έκδοση: (1995)

Introduction to electric circuits
ανά: Dorf, Richard C.
Έκδοση: (1993)

An introduction to database systems
ανά: Date, C. J.
Έκδοση: (1983)

An introduction to database systems
ανά: Date, C. J.
Έκδοση: (1986)

An introduction to database systems
ανά: Date, C. J.
Έκδοση: (1995)

An introduction to operational research
ανά: Kothari, C.R
Έκδοση: (1992)

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

Cannot write session to /tmp/vufind_sessions/sess_u5n9itcer8mtvtnstf5msvjfhg