Cover Image

Στοιχεία θεωρίας υπολογισμού/

Main Author:	Lewis, Harry R.
Other Authors:	Αντωνιάδης, Παναγιώτης, Σιδέρη, Μάρθα
Format:	Book
Language:	Greek English
Published:	Αθήνα: Κριτική, c2005
Subjects:	Θεωρία μηχανών Υπολογιστική πολυπλοκότητα Λογική, Συμβολική και μαθηματική

Similar Items

Στοιχεία θεωρίας υπολογισμού/
by: Παπαδημητρίου, Χρίστος Χ.
Published: (2003)

Introduction to the theory of computation /
by: SIPSER, Michael
Published: (2006)

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

A first course in logic: an introduction to model theory, proof theory, computability, and complexity/
by: Hedman, Shawn
Published: (2004)

Introduction to the theory of computation/
by: Sipser, Michael
Published: (2006)

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

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

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

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

Εισαγωγή στη θεωρία υπολογισμού /
by: Sipser, Michael.
Published: (2007)

Computability, complexity, logic /
by: Borger, E.
Published: (1989)

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

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

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

Εισαγωγή στη θεωρία υπολογισμού/
by: SIPSER, Michael
Published: (2007)

Θεωρία υπολογισμού /
by: Χαλάτσης, Κωνσταντίνος.
Published: (2002)

Parameterized complexity theory/
by: Flum, Jorg
Published: (2006)

NP-πληρότητα και προσεγγιστικοί αλγόριθμοι/
by: Καραμπούλας, Κωνσταντίνος.
Published: (2008)

Η πυθαγόρειος αρμονική συμβολική
by: Haase, R.
Published: (1966)

Mathematical reasoning : Analogies,metaphors and images ; edited: Lyn D.Ehglish
by: English, Lyn D.
Published: (1997)

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

Λογική : φιλοσοφική και συμβολική /
by: Βουδούρης, Κωνσταντίνος I., 1935-
Published: (1977)

Εισαγωγή στη θεωρία υπολογισμού /
by: Sipser, Michael
Published: (2007)

Einfuehrung in die formale Logik : unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form? /
by: Buth, Manfred
Published: (1996)

Όπερ έδει δείξαι Η ομορφιά της μαθηματικής απόδειξης
by: Polster, Burkard
Published: (2009)

Λογική /
by: Μυτιληναίος, Μιχάλης
Published: (2005)

Λογική /
by: Μυτιληναίος, Μιχάλης
Published: (2005)

The principles of science A treatise on logic and scientific method
by: Jevons, William Stanley (1835-1882)
Published: (1883)

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

First-order functional calculus/
by: KEENE, Geoffrey Bourton
Published: (1966)

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

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

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

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

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

Word processing in groups /
Published: (1992)

Models and ultraproducts : an introduction /
by: Bell, J. L. (John Lane)
Published: (1969)

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

New methods of problem solving With applications to calculus problems
by: Καλομητσίνης, Σπύρος
Published: (2002)

Critical approaches to science and philosophy/
Published: (1999)

Cannot write session to /tmp/vufind_sessions/sess_s5qgmtuve1ni2grohlrrhlu2t6