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)

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

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

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

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

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)

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

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

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

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

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 population
ανά: Kammeyer, Kenneth C. W.
Έκδοση: (1971)

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

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

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

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

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

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

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

Introduction to space science
ανά: Haymes, Robert C.
Έκδοση: (1971)

Introduction to naval architecture
ανά: Tupper, E. C
Έκδοση: (2004)

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)

An introduction to philosophical logic
ανά: Grayling, A. C.
Έκδοση: (1997)

An introduction to computational biochemistry /
ανά: Tsai, C. Stan
Έκδοση: (2002)

An introduction to nonlinear optics
ανά: Baldwin, George C.
Έκδοση: (1969)

An introduction to elementary particles
ανά: Williams, W. S. C.
Έκδοση: (1971)

Introduction computer science
ανά: Bartee, Thomas C.
Έκδοση: (1981)

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

Introduction to computing for engineers /
ανά: Chapra, Steven C.
Έκδοση: (1994)

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

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

Cannot write session to /tmp/vufind_sessions/sess_ue9cue2ghb9pq7f7ftaaj02qfm