Μαθηματική λογική

Μαθηματική λογική

Show other versions (1)

Bibliographic Details
Main Author:	Μητακίδης, Γιώργος
Format:	Book
Language:	Greek
Published:	Πάτρα Οργανισμός Εκδόσεως Διδακτικών Βιβλίων 1980
Subjects:	Λογική, Συμβολική και μαθηματική

Similar Items

Μαθηματική λογική
by: Μητακίδης, Γιώργος
Published: (1988)

Εισαγωγή στη μαθηματική λογική
by: Δρόσος, Κώστας Α., et al.
Published: (2000)

Εισαγωγή στη μαθηματική λογική /
by: Δρόσος, Κώστας Α.
Published: (2006)

Μια μαθηματική εισαγωγή στη λογική /
by: Enderton, Herbert B.
Published: (2013)

Εισαγωγή στη συμβολική λογική
by: Καργόπουλος, Φίλιππος Β.
Published: (2008)

Λογική και απόδειξη : θεωρία-ασκήσεις /
by: Boricic, Branislav, 1955-
Published: (1995)

Στοιχειώδεις έννοιες από τα μαθηματικά και τη λογική
by: Παπαδοπετράκης, Ευτύχης
Published: (1999)

Στατιστική ανάλυση πολυδιάστατων δεδομένων η παραγοντική ανάλυση αντιστοιχιών στην ασαφή λογική
by: Θεοδώρου, Ιωάννης Α.
Published: (2005)

Extensional constructs in intensional type theory
by: Hofmann, Martin
Published: (1997)

Topics in philoshophical logic
by: Rescher, Nicholas
Published: (1968)

Modal logic an introduction
by: Chellas, Brian F.
Published: (1995)

Self-reference and modal logic /
by: Smorynski, C.
Published: (1985)

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

Στοιχεία θεωρίας υπολογισμού /
by: Lewis, Harry R.
Published: (1990)

Ασκήσεις μαθηματικής λογικής /
by: Σκαλτσάς, Παναγιώτης
Published: (2002)

Στοιχεία θεωρίας υπολογισμού /
by: Lewis, Harry R.
Published: (2005)

Outlines of a formalist philosophy of mathematics
by: Curry, Haskell B. 1900- (Haskell Brooks)
Published: (1958)

First-order logic and automated theorem proving /
by: Fitting, Melvin 1942-
Published: (1990)

Μαθηματικές θεμελιώσεις της θεωρίας υπολογισμού /
by: Μπουντουρίδης, Μωυσής Α.
Published: (2015)

Στοιχεία μαθηματικής λογικής /
by: Τζουβάρας, Αθανάσιος
Published: (1998)

Logic : techniques of formal reasoning /
by: Kalish, Donald
Published: (1980)

A compendium of continuous lattices /
Published: (1980)

Essentials of symbolic logic
by: Simpson, Robert L.
Published: (1988)

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

Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1964)

Logic for mathematicians
by: Hamilton, E. G.
Published: (1988)

Mathematical logic a course with exercises
by: Cori, Rene

Introduction to symbolic logic
by: Basson, A. H.
Published: (1959)

Fundamentals of mathematical logic
by: Hinman, Peter G.
Published: (2005)

Mathematische Gesetze der Logik /
by: Schmidt, H. Arnold, 1902-
Published: (1960)

An algebraic introduction to mathematical logic /
by: Barnes, D. W. (Donald W.), 1935-
Published: (1975)

Many-valued logics
by: Bolc, Leonard

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Published: (1982)

Grundzüge der mathematischen Logik /
by: Scholz, Heinrich, 1884-1956
Published: (1961)

Basic model theory
by: Doets, Kees
Published: (1996)

Logic of mathematics a modern course of classical logic
by: Adamowicz, Zofia
Published: (1997)

Einführung in die operative Logik und Mathematik /
by: Lorenzen, Paul, 1915-1994
Published: (1969)

Basic proof theory /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1996)

Free choice Petri Nets
by: Desel, Jorg, et al.
Published: (1995)

A treatise on many-valued logics
by: Gottwald, Siegfried
Published: (2001)

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