Dov M. Gabbay | Bookhype

Advances In Logic

Cover of Functional Interpretation Of Logical Deduction, The

Book #5: Functional Interpretation Of Logical Deduction, The

Applied Logic

Cover of Goal-Directed Proof Theory

Book #21: Goal-Directed Proof Theory

Cover of Analysis and Synthesis of Logics

Book #35: Analysis and Synthesis of Logics

Cover of Proof Theory for Fuzzy Logics

Book #36: Proof Theory for Fuzzy Logics

Cognitive Technologies

Ellis Horwood Series in Artificial Intelligence

Handbook of Logic in Artificial Intelligence and Logic Programming

Oxford Logic Guides

Cover of Temporal Logic: Volume 1

Book #28: Temporal Logic: Volume 1

Cover of Labelled Deductive Systems

Book #33: Labelled Deductive Systems

Cover of Fibring Logics

Book #38: Fibring Logics

Cover of Temporal Logic: Volume 2

Book #40: Temporal Logic: Volume 2

Cover of Interpolation and Definability

Book #46: Interpolation and Definability

Oxford Logic Guides; Oxford Science Publications

Perspectives in Neural Computing

Studies in Logic & Computation

Cover of Compiled Labelled Deductive Systems

Book #10: Compiled Labelled Deductive Systems

Synthese Library

Cover of Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics

Book #92: Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics

Cover of Semantical Investigations in Heyting's Intuitionistic Logic

Book #148: Semantical Investigations in Heyting's Intuitionistic Logic

Temporal Logic

Cover of Temporal Logic: Volume 1

Book #28: Temporal Logic: Volume 1

Cover of Temporal Logic: Volume 2

Book #40: Temporal Logic: Volume 2

Texts in Computer Science