Einfuhrung in die mathematische logik

Einfuhrung in die mathematische logik

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Asser, Gonter
Μορφή:	Βιβλίο
Γλώσσα:	German
Δημοσίευση:	Leipzig : Teubner, 1959-
Σειρά:	Mathematisch-Naturwissenschaftliche bibliothek ; ; 18
Θέματα:	Logic, Symbolic and mathematical.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Einfuhrung in die mathematische logik
από: Tarski, Alfred
Δημοσίευση: (1966)

Archiv fur mathematische logik und Grundlagenforschung
Δημοσίευση: (1950)

Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik
Δημοσίευση: (1955)

Vollstandige systeme modaler und intuitionistischer logik
από: Schutte, K. (Kurt)
Δημοσίευση: (1968)

Einfuhrung in die wahrscheinlichkeitsrechnung und mathematische statistik
από: Morgenstern, Dietrich 1924-
Δημοσίευση: (1968)

Formale logik
από: Lorenzen, Paul, 1915-1994
Δημοσίευση: (1958)

Formale logik
από: Bochenski, Joseph M., 1902-1995
Δημοσίευση: (1956)

Philosophie der Logik
από: Seebohm, Thomas M.
Δημοσίευση: (1984)

From Frege to Godel :
από: Van Heijenoort, Jean 1912-
Δημοσίευση: (1967)

Logic
από: Hodges, Wilfrid
Δημοσίευση: (2001)

Introduction to logical theory
από: Strawson, P. F.
Δημοσίευση: (1963)

Logic for computer scientists
από: Schoning, Uwe 1955-
Δημοσίευση: (1989)

Mathematical logic
από: Ebbinghaus, Heinz-Dieter 1939-
Δημοσίευση: (1984)

Introduction to symbolic logic and its applications
από: Carnap, Rudolf, 1891-1970
Δημοσίευση: (1958)

Principles of mathematical logic
από: Hilbert, David, 1862-1943
Δημοσίευση: (1999)

Principles of mathematical logic
από: Hilbert, David, 1862-1943
Δημοσίευση: (1950)

Symbolic logic
από: Lewis, Clarence Irving, 1883-1964
Δημοσίευση: (1959)

A precis of mathematical logic
από: Bochenski, Joseph M., 1902-1995
Δημοσίευση: (1959)

La consistance des theories formelles et le fondement des mathematiques
από: Meigne, Maurice
Δημοσίευση: (1959)

Logic for applications
από: Nerode, Anil, 1932-
Δημοσίευση: (1993)

Du point de vue logique :
από: Quine, W. V. (Willard Van Orman)
Δημοσίευση: (2003)

A mathematical introduction to logic
από: Enderton, Herbert B.
Δημοσίευση: (1972)

Logic and structure
από: Dalen, D. van (Dirk) 1932-
Δημοσίευση: (2004)

Course of Mathematical Logic
από: Fraisse, Roland
Δημοσίευση: (1974)

Στοιχεία μαθηματικής λογικής
από: Τζουβάρας, Αθανάσιος
Δημοσίευση: (1992)

Introduction to mathematical logic
από: Church, Alonzo 1903-1995
Δημοσίευση: (1996)

Logique sans peine
από: Carroll, Lewis, 1832-1898
Δημοσίευση: (1966)

Logic of mathematics :
από: Adamowicz, Zofia
Δημοσίευση: (1997)

Collected works
από: Gödel, Kurt
Δημοσίευση: (1986)

What is mathematical logic?
Δημοσίευση: (1990)

Logic for information technology
από: Galton, Antony
Δημοσίευση: (1990)

Systems of formal logic
από: Hackstaff, L. H.
Δημοσίευση: (1966)

Systems of logic
από: Martin, Norman M.
Δημοσίευση: (1989)

Logic for Mathematicians
από: Hamilton, A. G. 1943-
Δημοσίευση: (1990)

Mathematical logic
από: Ponasse, Daniel
Δημοσίευση: (1973)

Introduction to Mathematical Logic
από: Church, Alonzo 1903-1995
Δημοσίευση: (1956)

Introduction to elementary mathematical logic
από: Stolyar, A. A. (Abram Aronovich)
Δημοσίευση: (1983)

Logic and structure
από: Dalen, D. van (Dirk) 1932-
Δημοσίευση: (1994)

Mathematical Logic for Computer Science
από: Ben-Ari, M. 1948-
Δημοσίευση: (1993)

The mathematics og logic :
από: Kaye, Richard (Richard W.)
Δημοσίευση: (2008)