Dov M. Gabbay / George Metcalfe / Nicola Olivetti
Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)
The Semantic Basis.- Hilbert Systems.- Gentzen Systems.- Syntactic Eliminations.- Fundamental Logics.- Uniformity and Efficiency.- First-Order Logics.- Further Topics.