Cover Image

Μαθηματική λογική για υπολογιστές/

Main Author:	Κολέτσος, Γ.
Corporate Authors:	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών., Τομέας Μαθηματικών
Format:	Book
Published:	Αθήνα : Εθνικό Μετσόβιο Πολυτεχνείο, 1988
Subjects:	Logic, Symbolic and mathematical Computers

Similar Items

Μαθηματική λογική : σημειώσεις μαθήματος /
by: Κολέτσος, Γιώργος
Published: (2004)

Εισαγωγή στη μαθηματική λογική /
by: Κολέτσος, Γιώργος.
Published: (2009)

Μαθηματική λογική : θεωρία - ασκήσεις /
by: Κυριακόπουλος, Α. Κ
Published: (1972)

Μαθηματική λογική : θεωρία και πράξη /
by: Τουρλάκης, Γιώργος.
Published: (2011)

Μαθηματική λογική Για μαθηματικούς και πληροφορικούς
by: Κολέτσος, Γεώργιος.
Published: (2015)

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

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

Μαθηματική λογική/
by: Δημητρακόπουλος, Κωνσταντίνος
Published: (2002)

Μαθηματική λογική /
by: Δημητρακόπουλος, Κωνσταντίνος.
Published: (2002)

Η λογική της παρακμής/
by: Πολυδούρης, Βαγγέλης
Published: (1986)

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

The essence of logic/
by: Kelly, John J., -1995
Published: (1997)

Μαθηματική λογική /
Published: (2002)

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

Popular lectures on mathematical logic /
by: Wang, Hao
Published: (1981)

Advances in contemporary logic and computer science : Proceedings of the eleventh Brazilian Conference on Mathematical Logic May 6-10, 1996 Salvador, Bahia, Brazil /
Published: (1999)

Αποδείξεις & ανασκευές: η λογική της μαθηματικής ανακάλυψης/
by: Lakatos, Imre
Published: (1996)

Απεικονίσεις νευρωνικών δικτύων σε συμβολική λογική/
by: Βογιατζής, Δημήτριος
Published: (2002)

Einfu?hrung in die symbolische Logik : mit besonderer Beru?cksichtigung ihrer Anwendungen /
by: Carnap, Rudolf, 1891-1970
Published: (1960)

Formale Logik/
by: Lorenzen, Paul, .L6 1970 1915-1994
Published: (1970)

Colloque international de logique : Clermont-Ferrand 18-25 Juillet 1975
Published: (1977)

Logik: ihn System und ihr Verhaltnis zur Logistik/
by: Freytag Loringhoff, Bruno, Bruno von, 1912-1996
Published: (1955)

Les principes de la logique et la critique contemporaine/
by: Reymond, Arnold, 1874-
Published: (1957)

Les applications techniques de la logique/
by: Touchais, Maurice, 1904-
Published: (1956)

Ω-Bibliography of mathematical logic/
Published: (1987)

Formal logic/
by: Lorenzen, Paul, 1915-1994
Published: (1965)

The logical problem of induction/
by: Wright, G. H. von 1916-
Published: (1957)

Die Logik der Logistik/
by: Albrecht, Wolfgang
Published: (1954)

Logic: an introductory course/
by: Newton-Smith, W. H.
Published: (1985)

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

Advances in linear logic /
Published: (1995)

Introduction a la logique pertinente/
by: Rivenc, Francois
Published: (2005)

Mechanizing hypothesis formation : mathematical foundations for a general theory /
by: Ha?jek, Petr
Published: (1978)

Introduction to logic/
by: Suppes, Patrick, 1922-
Published: (1957)

Logic Colloquium ʹ80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic
Published: (1982)

Logic Colloquium ʹ77 : Proceedings of a conference held in Wroclaw, Aug. 1-12, 1977 /
Published: (1978)

Introduction to logic/
by: Suppes, Patrick, 1922-
Published: (1957)

Logic Colloquium ʹ73 : proceedings of the Logic Colloquim Bristol, July 1973 /
Published: (1975)

Logic Colloquium ʹ76 : proceedings of a conference held in Oxford in July 1976 /
Published: (1977)

Logic Colloquium ʹ78 : proceedings of the colloquium held in Mons,August 1978 /
Published: (1979)

Cannot write session to /tmp/vufind_sessions/sess_q2cvlp0gcnf52nderf4pbim957