A NEW APPROACH TO QUANTUM LOGIC (PB)

A VISIT TO LONDON AND SOME OLD ENGLISH TOWNS AND CASTLES

A VISIT TO LONDON AND SOME OLD ENGLISH TOWNS AND CASTLES (HB)

A VISIT TO LONDON AND SOME OLD ENGLISH TOWNS AND CASTLES - PRIMARY SOURCE EDITION

ADVANCES IN NONLINEAR PARAMETER OPTIMIZATION (PB)

ANALYSIS OF CONCEPTS AND STATES IN TALMUDIC REASONING (HB)

AUTOMATED DEDUCTION (PB)

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (PB)

CHANGE IN SMES (PB)

DELEGATION IN TALMUDIC LOGIC (HB)

DIZIONARIO AUTOTECNICO COMPILATO QUATTRO IN LINGUE, VOL. 4

DIZIONARIO AUTOTECNICO: COMPILATO QUATTR (PB)

DIZIONARIO AUTOTECNICO; COMPILATO QUATTRO IN LINGUE, ITALIANO, TEDESCO, FRANCESE, INGLESE

DYNAMIC SYNTAX (HB)

DYNAMIC SYNTAX (PB)

ELEMENTARY LOGIC WITH APPLICATIONS: A PR (PB)

FRONTIERS OF COMBINING SYSTEMS (PB)

GENETICS AND GENOMICS OF THE BRASSICACEAE (HB)

GENETICS AND GENOMICS OF THE BRASSICACEAE (PB)

GREEK, INDIAN AND ARABIC LOGIC

GREEK, INDIAN AND ARABIC LOGIC (HB)

HANDBOOK OF DEONTIC LOGIC AND NORMATIVE SYSTEMS (HB)

HANDBOOK OF DEONTIC LOGIC AND NORMATIVE SYSTEMS (PB)

HANDBOOK OF PARACONSISTENCY (PB)

HANDBOOK OF TEMPORAL REASONING IN ARTIFICIAL INTELLIGENCE

HANDBOOK OF TEMPORAL REASONING IN ARTIFICIAL INTELLIGENCE (HB)

IFCOLOG JOURNAL OF LOGICS AND THEIR APPL (PB)

IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. VOLUME 3, NUMBER 2 (PB)

INDUSTRIELLE BEZIEHUNGEN (PB)

INTERACTIVE LOGIC

INTERACTIVE LOGIC (PB)

JOURNAL OF APPLIED LOGICS - THE IFCOLOG (PB)

JOURNAL OF APPLIED LOGICS - THE IFCOLOG (PB)

JOURNAL OF APPLIED LOGICS - THE IFCOLOG (PB)

JOURNAL OF APPLIED LOGICS - THE IFCOLOG (PB)

JOURNAL OF APPLIED LOGICS - THE IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS

KNOWLEDGE REPRESENTATION TECHNIQUES (HB)

KNOWLEDGE REPRESENTATION TECHNIQUES (PB)

LOGIC FOR ARTIFICIAL INTELLIGENCE AND INFORMATION TECHNOLOGY (PB)

MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE (PB)

MATHEMATICAL PROBLEMS FROM APPLIED LOGIC II (PB)

MOMENT MAL! (PB)

NATURAL ARGUMENTS: A TRIBUTE TO JOHN WOO (PB)

NON-DEDUCTIVE INFERENCES IN THE TALMUD (HB)

PARTITION PROBLEMS IN TALMUDIC REASONING (HB)

PLATONIC REALISM AND TALMUDIC REASONING (HB)

PROOF THEORY FOR FUZZY LOGICS (HB)

RELATIONAL METHODS FOR COMPUTER SCIENCE APPLICATIONS (HB)

RELATIONAL METHODS FOR COMPUTER SCIENCE APPLICATIONS (PB)

RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE (PB)

RESOLUTION OF CONFLICTS AND NORMATIVE LOOPS IN THE TALMUD (HB)

TALMUDIC DEONTIC LOGIC (HB)

TEMPORAL LOGIC IN THE TALMUD (HB)

THE INTERNATIONAL DIRECTORY OF LOGICIANS (PB)

THE RISE OF MODERN LOGIC

THE RISE OF MODERN LOGIC: FROM LEIBNIZ TO FREGE (HB)