Logic

André Thayse - From standard logic to logic programming: introducing a logic based approach to artificial intelligence. André Thayse
From standard logic to logic programming: introducing a logic based approach to artificial intelligence. (0-471-91838-5 / 0471918385)
Jaakko Hintikka - Essays on mathematical and philosophical logic: proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyvaskyla, Finland, June 29-July 6, 1976 Jaakko Hintikka
Essays on mathematical and philosophical logic: proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyvaskyla, Finland, June 29-July 6, 1976 (90-277-0879-7 / 9027708797)
George Boolos, John P Burgess - Logic, logic, and logic George Boolos, John P Burgess
Logic, logic, and logic (0-674-53766-1 / 0674537661)
Martin Cothran - Answer Key to Traditional Logic 1: Introduction to Formal Logic (Classical Trivium Core Series: Traditional Logic, 1) Martin Cothran
Answer Key to Traditional Logic 1: Introduction to Formal Logic (Classical Trivium Core Series: Traditional Logic, 1) (1-930953-11-9 / 1930953119)
Viggo Stoltenberg-Hansen/Logic Colloquium - Logic Colloquium '03: Proceedings of the Annual European Summer (Lecture Notes in Logic) Viggo Stoltenberg-Hansen/Logic Colloquium
Logic Colloquium '03: Proceedings of the Annual European Summer (Lecture Notes in Logic) (1-56881-294-9 / 1568812949)
John S Rybak, Janet M Rybak - Mechanizing logic I, map logic extended formally to relational arguments & Mechanizing logic II, automated map logic method for relational arguments on paper and by computer John S Rybak, Janet M Rybak
Mechanizing logic I, map logic extended formally to relational arguments & Mechanizing logic II, automated map logic method for relational arguments on paper and by computer (0-9598576-1-3 / 0959857613)
Colin Leslie Dean - Juxtaposing 2 contradictory views of Freud : The apotheosis of Logic ; the undermining of the epistemological validity of logic: Freud rejects Aristotelian logic as the criteria to assess the 'truths' of psychoanalysis and thus becomes a precursor to quan Colin Leslie Dean
Juxtaposing 2 contradictory views of Freud : The apotheosis of Logic ; the undermining of the epistemological validity of logic: Freud rejects Aristotelian logic as the criteria to assess the 'truths' of psychoanalysis and thus becomes a precursor to quan (1-876347-47-3 / 1876347473)
Burkhard Freitag - Transactions and change in logic databases: International Seminar on Logic Database and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Ded Burkhard Freitag
Transactions and change in logic databases: International Seminar on Logic Database and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Ded (3-540-65305-8 / 3540653058)
Logic Colloquium(1998 : Prag) - Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák Logic Colloquium(1998 : Prag)
Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák (1-56881-114-4 / 1568811144)
William Hamilton - Chapters in logic: containing Sir William Hamilton's lectures on modified logic, and selections from the Port Royal Logic William Hamilton
Chapters in logic: containing Sir William Hamilton's lectures on modified logic, and selections from the Port Royal Logic (0-665-06396-2 / 0665063962)
George Boolos - Logic, Logic, and Logic George Boolos
Logic, Logic, and Logic (0-674-53767-X / 067453767X)
Conference on the history of logic(30 : Kraków : 1984) - Essays on philosophy and logic : proceedings of the XXXth Conference on the history of logic, dedicated to Roman Suszko, Cracow, October 19-21, 1984 / edited by Jerzy Perzanowski Conference on the history of logic(30 : Kraków : 1984)
Essays on philosophy and logic : proceedings of the XXXth Conference on the history of logic, dedicated to Roman Suszko, Cracow, October 19-21, 1984 / edited by Jerzy Perzanowski (83-233-0198-0 / 8323301980)
Anil Gupta - The logic of common nouns: an investigation in quantified modal logic Anil Gupta
The logic of common nouns: an investigation in quantified modal logic (0-300-02346-4 / 0300023464)
B. Jacobs - Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) B. Jacobs
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) (0-444-50853-8 / 0444508538)
Zofia Adamowicz, Pawe Zbierski - Logic of mathematics: a modern course of classical logic Zofia Adamowicz, Pawe Zbierski
Logic of mathematics: a modern course of classical logic (0-471-06026-7 / 0471060267)
Inęs de Castro Dutra - Parallelism and implementation of logic and constraint logic programming Inęs de Castro Dutra
Parallelism and implementation of logic and constraint logic programming (1-56072-673-3 / 1560726733)
Jacek Pasniczek - The logic of intentional objects: a Meinongian version of classical logic Jacek Pasniczek
The logic of intentional objects: a Meinongian version of classical logic (0-7923-4880-X / 079234880X)
Svetlana Yanushkevich - Logic differential calculus in multi-valued logic design Svetlana Yanushkevich
Logic differential calculus in multi-valued logic design (83-87423-16-5 / 8387423165)
Pranab Kumar Sen - Foundations of logic and language: studies in philosophical and non-standard logic Pranab Kumar Sen
Foundations of logic and language: studies in philosophical and non-standard logic (81-7023-294-5 / 8170232945)
Christopher John Hogger - Handbook of logic in artificial intelligence and logic programming. Christopher John Hogger
Handbook of logic in artificial intelligence and logic programming. (0-19-853745-X / 019853745X)
Paul Teller - A Modern Formal Logic Primer: Sentence Logic, Volume I Paul Teller
A Modern Formal Logic Primer: Sentence Logic, Volume I (0-13-903170-7 / 0139031707)
Carlos Eduardo Areces - Logic engineering: the case of description and hybrid logic ... Carlos Eduardo Areces
Logic engineering: the case of description and hybrid logic ... (90-5776-053-3 / 9057760533)
Paul Teller - A Modern Formal Logic Primer: Predicate Logic and Metatheory Paul Teller
A Modern Formal Logic Primer: Predicate Logic and Metatheory (0-13-903196-0 / 0139031960)
Claudia Casadio - Logic for grammar: developments in linear logic and formal linguistics Claudia Casadio
Logic for grammar: developments in linear logic and formal linguistics (88-7947-248-8 / 8879472488)
Avi Sion - Judaic logic: a formal analysis of Biblical, Talmudic and rabbinic logic Avi Sion
Judaic logic: a formal analysis of Biblical, Talmudic and rabbinic logic (2-9700091-1-0 / 2970009110)
T. A. W. Tilli - Building Intelligent Systems With Fuzzy Logic and Neurofuzzy Logic Networks T. A. W. Tilli
Building Intelligent Systems With Fuzzy Logic and Neurofuzzy Logic Networks (0-471-94244-8 / 0471942448)
Paul F Syverson - Logic, convention, and common knowledge: a conventionalist account of logic Paul F Syverson
Logic, convention, and common knowledge: a conventionalist account of logic (1-57586-392-8 / 1575863928)
A Fuhrmann - Logic, action, and information: : essays on logic in philosophy and artificial intelligence A Fuhrmann
Logic, action, and information: : essays on logic in philosophy and artificial intelligence (3-11-013994-4 / 3110139944)
Regina Nelson - Logic Links (Mindware's Best Logic Problems, Level A, Grades 1-2) Regina Nelson
Logic Links (Mindware's Best Logic Problems, Level A, Grades 1-2) (1-892069-50-4 / 1892069504)
Martin Rice - Combinational and sequential logic: a hands-on approach using programmable logic Martin Rice
Combinational and sequential logic: a hands-on approach using programmable logic (0-582-43164-6 / 0582431646)
Richard F Von Dohlen - An introduction to the logic of the computing sciences: a contemporary look at symbolic logic Richard F Von Dohlen
An introduction to the logic of the computing sciences: a contemporary look at symbolic logic (0-7618-1326-8 / 0761813268)
Beverly Post, Sandra Eads - Logic, anyone?: 98 brain-stretching logic problems Beverly Post, Sandra Eads
Logic, anyone?: 98 brain-stretching logic problems (0-8224-4327-9 / 0822443279)
Rohit Parikh - Logic Colloquium: symposium on logic held at Boston, 1972-73 Rohit Parikh
Logic Colloquium: symposium on logic held at Boston, 1972-73 (0-387-07155-5 / 0387071555)
Frithjof Dau - The logic system of concept graphs with negation: and its relationship to predicate logic Frithjof Dau
The logic system of concept graphs with negation: and its relationship to predicate logic (3-540-20607-8 / 3540206078)
Arend Soeteman - Logic in law: remarks on logic and rationality in normative reasoning, especially in law Arend Soeteman
Logic in law: remarks on logic and rationality in normative reasoning, especially in law (0-7923-0042-4 / 0792300424)
Howard Kahane - Logic and Philosophy a Modern Introduction (Various types of Logic) Howard Kahane
Logic and Philosophy a Modern Introduction (Various types of Logic) (0-534-12333-3 / 0534123333)
Robert S Carrow - Soft logic: a guide to using a PC as a programmable logic controller Robert S Carrow
Soft logic: a guide to using a PC as a programmable logic controller (0-07-014017-0 / 0070140170)
Eric Rayner - Unconscious logic : : an introduction to Matte Blanco's bi-logic and it's uses Eric Rayner
Unconscious logic : : an introduction to Matte Blanco's bi-logic and it's uses (0-415-12725-4 / 0415127254)
Patrick Saint-Dizier - Logic and logic grammars for language processing Patrick Saint-Dizier
Logic and logic grammars for language processing (0-7458-0583-3 / 0745805833)
Edward De Bono - I am right - you are wrong: from this to the new Renaissance, from rock logic to water logic Edward De Bono
I am right - you are wrong: from this to the new Renaissance, from rock logic to water logic (0-670-83011-9 / 0670830119)
Ian Chiswell/Wilfrid Hodges - Mathematical Logic (Oxford Texts in Logic) Ian Chiswell/Wilfrid Hodges
Mathematical Logic (Oxford Texts in Logic) (0-19-921562-6 / 0199215626)
Stephen Read - Thinking About Logic: An Introduction to the Philosophy of Logic (OPUS) Stephen Read
Thinking About Logic: An Introduction to the Philosophy of Logic (OPUS) (0-19-219256-6 / 0192192566)
Eric Benjamin - Logic Links: Mindware's Best Logic Problems Level C Eric Benjamin
Logic Links: Mindware's Best Logic Problems Level C (1-892069-52-0 / 1892069520)
Ernest W Adams - The logic of conditionals: an application of probability to deductive logic Ernest W Adams
The logic of conditionals: an application of probability to deductive logic (90-277-0631-X / 902770631X)
Wilfrid Hodges - Logic: from foundation to applications : European logic colloquium Wilfrid Hodges
Logic: from foundation to applications : European logic colloquium (0-19-853862-6 / 0198538626)
Edward De Bono - I am right, you are wrong: from this to the new Renaissance : from rock logic to water logic Edward De Bono
I am right, you are wrong: from this to the new Renaissance : from rock logic to water logic (0-14-012678-3 / 0140126783)
Markus, Gabor and Markusz, Zsuzsa - Logic Puzzles and Logic Programming Markus, Gabor and Markusz, Zsuzsa
Logic Puzzles and Logic Programming (963-311-249-4 / 9633112494)
Howard Pospesel, William G Lycan - Introduction to logic: propositional logic Howard Pospesel, William G Lycan
Introduction to logic: propositional logic (0-13-025849-0 / 0130258490)
Howard Pospesel, William G Lycan - Propositional logic: introduction to logic Howard Pospesel, William G Lycan
Propositional logic: introduction to logic (0-13-164997-3 / 0131649973)