122335
9781881526285
How to use this book; 1. How to use Tarski's World; 2. Exercises on propositional logic; 3. Exercises on first-order logic; 4. More theoretical exercises; Appendices; Index.Jon Barwise is the author of 'Tarski's World: Version 4.0 for MS Windows (Center for the Study of Language and Information - Lecture Notes)', published 1993 under ISBN 9781881526285 and ISBN 1881526283.
[read more]