| |
Your search for [subject]Logic Symbolic and mathematical returned 277 records. |
|
| |
Sort by:
|
|
| |
|
|
| |
|
 |
Propositional logics : the semantic foundations of logic _ Semantic foundations of logics.
by Epstein, Richard L., 1947-; Belmont, Calif.: Wadsworth Thomson Learning, 2001.
Subject: Logic; Proposition (Logic); Logic, Symbolic and mathematical; Semantics.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Predicate logic.
by Epstein, Richard L., 1947-; Australia: Wadsworth/Thomson Learning, 2001.
Subject: Logic; Predicate (Logic); Logic, Symbolic and mathematical; Semantics.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Logic and reality : essays on the legacy of Arthur Prior _ Arthur Prior Memorial Conference (1989 : Christchurch, N.Z.).
Oxford: Clarendon Press, 1996.
Subject: Prior, A. N. (Arthur N.) -- 1914-1969; Logic, Symbolic and mathematical; Logic.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Handbook of logic in artificial intelligence and logic programming.
by Gabbay, Dov M.; Oxford: Clarendon Press, 1994.
Subject: Artificial intelligence; Logic programming; Logic, Symbolic and mathematical.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Logic in the 20th century : a series of papers on the present state and tendencies of studies.
Milano: Scienta, 1983.
Subject: Logic, Symbolic and mathematical; Logic, Modern -- 20th century.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Handbook of logic in artificial intelligence and logic programming.
Oxford: Clarendon Press.
Subject: Logic programming; Artificial intelligence; Logic, Symbolic and mathematical.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Handbook of logic in artificial intelligence and logic programming.
Oxford: Clarendon Press.
Subject: Artificial intelligence; Logic programming; Logic, Symbolic and mathematical.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Past, present and future.
by Prior, Arthur N.; Oxford: Clarendon Press, 1967.
Subject: Logic, Symbolic and mathematical; Modality (Logic); Time.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
A primer of formal logic.
by Cooley, John Cleveland, 1903-; New York: The Macmillan company, 1949.
Subject: Logic; Logic, Symbolic and mathematical; athematics -- Philosophy.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Deducibility and decidability.
by Rockingham, Gill R. R.; London: Routledge, 1990.
Subject: Decidability (Mathematical logic); Logic, Symbolic, and mathematical.
|
|
| |
|
|
|
|
| |
|
|
| « Previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Next » |
