Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers

4.3/5 ( ratings)

This text/courseware package presents a new approach to teaching first-order logic. Taking advantage of Tarski's World 4.0, the text skilfully balances the semantic conception of logic with methods of proof. The book contains eleven chapters, in four parts. Part I is about propositional logic, Part II about quantifier logic. Part III contains chapters on set theory and inductive definitions. Part IV contains advanced topics in logic, including topics of importance in applications of logic in computer science. The Language of First-order Logic contains hundreds of problems and exercises for the user to work through.

Language: English

Pages: 320

Format: Paperback

Publisher: Center for the Study of Language and Inf

Release: December 01, 1992

ISBN: 0937073903

ISBN 13: 9780937073902

The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers

4.3/5 ( ratings)

This text/courseware package presents a new approach to teaching first-order logic. Taking advantage of Tarski's World 4.0, the text skilfully balances the semantic conception of logic with methods of proof. The book contains eleven chapters, in four parts. Part I is about propositional logic, Part II about quantifier logic. Part III contains chapters on set theory and inductive definitions. Part IV contains advanced topics in logic, including topics of importance in applications of logic in computer science. The Language of First-order Logic contains hundreds of problems and exercises for the user to work through.

Language: English

Pages: 320

Format: Paperback

Publisher: Center for the Study of Language and Inf

Release: December 01, 1992

ISBN: 0937073903

ISBN 13: 9780937073902

More books from Jon Barwise

Language, Proof and Logic: Text and CD

3.4/5 ( ratings)

Situations and Attitudes

3.5/5 ( ratings)

Vicious Circles

4.1/5 ( ratings)

Tarski's World: Revised and Expanded

3.1/5 ( ratings)

The Liar: An Essay on Truth and Circularity

4.6/5 ( ratings)

The Situation in Logic

4.3/5 ( ratings)

Information Flow: The Logic of Distributed Systems

4.3/5 ( ratings)

Handbook of Mathematical Logic

4.3/5 ( ratings)

Admissible Sets and Structures: An Approach to Definability Theory

Turing's World 3.0: An Introduction to Computability Theory

Logical Reasoning with Diagrams and Sentences: Using Hyperproof

Hyperproof: For Macintosh

Logical Reasoning with Diagrams

Rate this book!

Write a review?