Intensional Logics for Programming
Luis (Directeur de Recherche, Directeur de Recherch Farinas del Cerro
Out of stock
Format: Book (Hardback)
Substructural Logics
Kosta (Professor of Mathematical Logic, Professor of Mathematic Dosen
Out of stock
Format: Book (Hardback)
Nonstandard Queries and Nonstandard Answers
R. (Professor, Professor, Centre d'Etudes et de Recherches Demolombe
Out of stock
Format: Book (Hardback)
What is a Logical System?
D. M. (Professor of Computing Science, Department of Computing Gabbay
Out of stock
Format: Book (Hardback)
Logical Reasoning with Diagrams
Gerard (Assistant Director, Visual Inference Laboratory, Assi Allwein
Out of stock
Format: Book (Hardback)