Non-Deductive Inferences In The Talmud
 »

Mathematical Problems From Applied Logic Ii
Mathematical Problems from Applied Logic II »

Handbook Of Temporal Reasoning In Artificial Intelligence
Handbook of Temporal Reasoning in Artificial Intelligence »

Greek, Indian and Arabic Logic, Volume 1
 »

Talmudic Deontic Logic
 »

Principles of Bone Biology, Two-Volume Set
 »

Interactive Logic
selected Papers from the 7th Augustus de Morgan Workshop, London. Texts in Logic and Games. In november 2005 werd de zevende editie van de Augustus Morgan Wo... »

Second-Order Quantifier Elimination
Foundations, Computational Aspects and Applications »

Interactive Logic
selected papers from the 7th Augustus de Morgan Workshop, London. Texts in Logic and Games. In november 2005 werd de zevende editie van de Augustus Morgan Wo... »

Handbook of Temporal Reasoning in Artificial Intelligence, Volume 1
 »