The Language of First-Order Logic: Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23)

by: Jon Barwise · John Etchemendy Paperback details (USA). ISBN: 978-0-937073-99-5 ISBN-10: 0-937073-99-7 Center for the Study of Language and Inf · 1993