Logic from Russell to Church
Gabbay, Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London.) / Woods, John (University of British Columbia, Vancouver, Canada)Keine Beschreibung.