Cover Image

Temporal logic: from ancient ideas to artificial intelligence/

Main Author:	OHRSTROM, Peter
Other Authors:	HASLE, Per F.V., HASLE, Per F.V
Format:	Book
Language:	English
Published:	Dordrecht ; Boston ; London: Kluwer, c.1995
Series:	Studies in Linguistics and Philosophy 57
Subjects:	Χρόνος Λογική, Συμβολική και μαθηματική Logic, Symbolic and mathematical Time

Similar Items

Temporal logic : from ancient ideas to artificial intelligence /
by: OHRSTROM, Peter
Published: (1995)

Elements of symbolic logic/
by: Reichenbach, Hans, 1891-1953
Published: (1966)

What is mathematical logic?/
Published: (1975)

Temporal logic: from ancient ideas to artificial intelligence/
by: Ohrstrom, Peter
Published: (1995)

Symbolic logic/
by: Copi, Irving M.
Published: (1979)

An introduction to modern logic : An elementary textbook of symbolic logic /
by: Halberstadt, William H.
Published: (1960)

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

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

Κανόνες για την καθοδήγηση του πνεύματος= Regulae an directionem ingenii/
by: Descartes, Rene?, 1596-1650
Published: (1976)

Κανόνες για την καθοδήγηση του πνεύματος= Regulae an directionem ingenii/
by: Descartes, Rene?, 1596-1650
Published: (1974)

Elements of logic via numbers and sets/
by: Johnson, D. L.
Published: (1998)

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

A Mathematical introduction to logic/
by: Enderton, Herbert B.
Published: (2001)

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

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

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

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

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

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

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)

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)

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

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

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

Logic and knowledge : essays 1901-1950 /
by: Russell, Bertrand, 1872-1970
Published: (1956)

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

Predicate logic : introduction to logic /
by: Pospesel, Howard, 1937-
Published: (1976)

Βʹ πανελλήνιο συμπόσιο λογικής= 2nd panhellenic logic symposium : πρακτικά: Δελφοί 13-17 Ιουλίου 1999/
Published: (1999)

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

Handbook of logic and language/
Published: (2011)

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

Elements de logique contemporaine/
by: Roure, Marie Louise
Published: (1967)

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

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

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)

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

Cannot write session to /tmp/vufind_sessions/sess_2t1vbieg306c17sisu7nb6qek7