Cover Image

Fundamentals of mathematical logic/

Main Author:	HINMAN, Peter G.
Format:	Book
Language:	English
Published:	Wellesley, Mass.: A.K. Peters, c2005
Subjects:	Λογική, Συμβολική και μαθηματική Θεωρία μοντέλων Σύνολα, Θεωρία των Αναδρομή, Θεωρία της

Similar Items

Set theory and its logic/
by: QUINE, Willard Van Orman
Published: (1969)

Το πρόβλημα της ισομετρίας σε πολωνικούς χώρους/
by: Αρβανιτάκης, Αλέξανδρος Δ.
Published: (2001)

Οι τοπικώς πεπερασμένα παρουσιάσιμες κατηγορίες ως κατηγορίες μοντέλων της Lω/
by: Κεμπάπη, Ουρανία
Published: (2000)

To θεώρημα κατηγορικότητας του Morley/
by: Δημακάκος, Αριστείδης
Published: (2000)

Λογική & πληροφορική/
by: Χαρτώνας, Χ.
Published: (2000)

Εισαγωγή στη διαλεκτική επιστημολογία: μεθοδολιγία/
by: Badiou, Alain
Published: (1972)

Τα σύγχρονα μαθηματικά : των παιδαγωγικών ακαδημιών, των εκπαιδευτικών..διδασκαλίου Δ. εκπαιδεύσεως /
by: Τζουμάκας, Δημήτριος Κ.
Published: (1973)

Σημειώσεις στη συνολοθεωρία /
by: Μοσχοβάκης, Γιάννης Ν., 1938-
Published: (1993)

Finite model theory and its applications/
by: GRADEL, Erich
Published: (2007)

Finite model theory/
by: Eddinghaus, Heinz-Dieter, 1939-
Published: (2005)

Παίγνια συμφόρησης και κόστος αναρχίας/
by: Περουτσέας, Ευστράτιος
Published: (2004)

Σύνολα και αριθμοί : μια εισαγωγή στα μαθηματικά /
by: Τσολομύτης, Αντώνης
Published: (2004)

Σύνολα και αριθμοί: μια εισαγωγή στα μαθηματικά/
by: Τσολομύτης, Αντώνης
Published: (2004)

Κατασκευαστική περιγραφική θεωρία συνόλων και εφαρμογές στην ανάλυση/
by: Γρηγοριάδης, Βασίλειος Β.
Published: (2009)

Ιδιότητες αναλυτικών και συναναλυτικών συνόλων σε Πολωνικού χώρους/
by: Σκούταρης, Νικόλαος
Published: (2008)

Mathematical logic/
by: MONK, J. Donald, 1930-
Published: (1976)

MSO-Αποτίμηση & αυτόματα : από τα δυαδικά δέντρα στην XML & στις δομές φραγμένου δεντροπλάτους /
by: Καλαντζή, Λαμπρινή
Published: (2004)

Θεωρία Ramsey και εφαρμογές/
by: Ματζαβίνος, Τάσος
Published: (2001)

Υπερφίλτρα, δυναμικά συστήματα και εργοδική θεωρία στη θεωρία Ramsey/
by: Βερύκιος, Χρυσοβαλάντης
Published: (2001)

Το άπειρο και ο νους/
by: Rucker, Rudy v.B. 1946-
Published: (1995)

The elements of mathematical logic/
by: ROSENBLOOM, Paul C.
Published: (1950)

Introduction to mathematical logic/
by: MENDELSON, Elliott
Published: (1997)

Language, logic and mathematics/
by: KILMISTER, Clive William
Published: (1967)

An introduction to Hilbert space and quantum logic/
by: Cohen, David W.
Published: (1989)

Συμπαγή κυρτά σύνολα: σημειώσεις παραδόσεων/
by: Σταύρακας, Γεράσιμος Α.
Published: (1997)

Ασαφή συμπερασματικά μοντέλα και εφαρμογή στην διαγνωστική αξιολόγηση των μαθηματικών [Διπλωματική διατριβή] /
by: Ζούκης, Δημήτριος
Published: (2009)

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

Βασικές μαθηματικές έννοιες/
by: Εξαρχάκος, Θεόδωρος Γ.
Published: (1989)

Symbolic logic
by: Venn, John (1834-1923)
Published: (1881)

Logic and structure/
by: Dalen, D. van 1932-
Published: (2004)

The development of mathematical logic/
by: Nidditch, P. H.
Published: (1963)

A concise introduction to logic/
by: HACKING, Ian, 1942-
Published: (1972)

A survey of symbolic logic
by: Lewis, Clarence Irving (1883-1964)
Published: (1918)

A survey of symbolic logic/
by: LEWIS, Clarence Irving, 1883-
Published: (1960)

Topics in modern logic/
by: MAKINSON, D. C.
Published: (1973)

Papers in philosophical logic/
by: LEWIS, David, 1941-
Published: (1998)

Relations, functions and groups/
by: Woodcock, M. L. R.
Published: (1970)

Sets and groups/
by: GREEN, James Alexander
Published: (1974)

Fuzzy logic systems/
by: Αγριοπούλου, Ελένη
Published: (1998)

Λογικά παιχνίδια και παιχνίδια Blackwell : μια απόδειξη ότι τα σύνολα Borel και τα Borel Blackwell παιχνίδια είναι προσδιοριστά /
by: Κυπριωτάκης, Κυριάκος
Published: (2002)

Cannot write session to /tmp/vufind_sessions/sess_ucjdqrmnnr9khad13ec38daeb1