Εξώφυλλο

Undecidable theories /

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Tarski, Alfred
Μορφή:	Βιβλίο
Γλώσσα:	Αγγλικά
Έκδοση:	Amsterdam : North-Holland, 1968, c 1953
Θέματα:	1.Gedel s Theorem. 2.Mathematics. 3. Logic, Symbolic and Mathematical
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Mathematical statistics and limit theorems:
Έκδοση: (2015)

Computability and logic /
από: Boolos, George S.
Έκδοση: (1989)

Introduction to mathematical logic; set theory / computable functions, model theory.
από: MALITZ, Jerome
Έκδοση: (1979)

Principia mathematica to *56 /
από: Whitehead, Alfred North
Έκδοση: (1997)

Introduction to Mathematical Logic / Introduction to Mathematical Logic
από: Church, Alonzo
Έκδοση: (1996)

Introduction to Symbolic Logic/
από: Basson, A. H.
Έκδοση: (1960)

Symbolic Logic/
από: Lee, Harold Newton
Έκδοση: (1961)

A mathematical introduction to logic /
από: Enderton, Herbert B.
Έκδοση: (2001)

Introduction to mathematical logic /
από: Church, Alonzo
Έκδοση: (1956)

Symbolic logic /
από: Copi, Irving M.
Έκδοση: (1979)

Formal Logic/ Its Scope and Limits
από: Jeffrey, Richard C.
Έκδοση: (1967)

Symbolic Logic/
από: Copi, Irving M.
Έκδοση: (1979)

Logic and Set Theory /
από: Philip, N.
Έκδοση: (1979)

Language logic and mathematics/
από: Kilmister, C.W
Έκδοση: (1967)

Set Theory
από: Chatterjee, P. N.
Έκδοση: (1993)

Set Theory
από: Chatterjee, P. N.
Έκδοση: (1995)

Notes on logic and set theory /
από: Johnstone, P.T
Έκδοση: (1987)

Theory and Problems of Set Theory and Related Topics
από: Lipschutz, Seymour
Έκδοση: (1964)

Set theory, Logic and their limitations / Moshe Machover.
από: Machover ,Moshe
Έκδοση: (1996)

Fundamentals of symbolic logic/
από: AMBROSE, Alice
Έκδοση: (1948)

Threshold logic /
από: LEWIS, P.M
Έκδοση: (1967)

Proofs and refutations/ the logic of mathemati-
από: LAKATOS, Inre
Έκδοση: (1976)

Schaum's outline of set theory and related topics /
από: Lipschutz, Seymour
Έκδοση: (1981)

Schaum's outline of set theory and related topics
από: Lipschutz, Seymour
Έκδοση: (1981)

Logic, methodology and philosophy of science; proceedings of the 1964 international
Έκδοση: (1965)

Varieties of constructive mathematics /
από: Bridges, Douglas

Logic for mathematicians /
από: Hamilton, Alan G., 1943-
Έκδοση: (2001)

Leibnits and the seventeenth-century /
από: Meyer, R.W
Έκδοση: (1952)

First steps in model logic /
από: Popkorn, Sally
Έκδοση: (1994)

First steps in model logic
από: Popkorn, Sally
Έκδοση: (1994)

Varieties of constructive mathematics
από: Bridges, Douglas
Έκδοση: (1987)

Logic for mathematicians
από: Hamilton, Alan G., 1943-
Έκδοση: (2001)

Logic : A Philosophical Introduction /
από: Kaminsky, Jack
Έκδοση: (1974)

Studying deductive logic/
από: Berger, Fred R.
Έκδοση: (1977)

An introduction to non-classical logic : from if to is / from if to is
από: Priest, Graham
Έκδοση: (2008)

Thirteen lectures on Fermat's last theorem.
από: RIBENBOIM, Paulo
Έκδοση: (1979)

The Essence of Logic / The Essence of Logic
από: Kelly, John
Έκδοση: (1997)

Introduction to Symbolic Logic / Introduction to Symbolic Logic
από: Basson, A. H.
Έκδοση: (1993)

Essential Computer Mathematics
από: Lipschutz, Seymour
Έκδοση: (1982)

Tractatus logico-philosophicus / tractatus logico philosophicus
από: ডরঃঃমবহংঃবরহ, খঁফরিম
Έκδοση: (2001)