Logic: An IntroductionThis text covers all the standard topics of logic and includes extensive treat..

Proof And Disproof In Formal Logic: An Introduction For Programmers (Oxford Texts In Logic)Proof and..

First-Order Logic: An IntroductionAn introduction to elementary logic, the practice of formal reason..

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexit..

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexit..

Sets, Functions, and Logic: An Introduction to Abstract Mathematics, Third Edition (Chapman Hall/CRC..

Logic: An IntroductionThis text covers all the standard topics of logic and includes extensive treat..

The Languages of Logic: An Introduction to Formal LogicWith the same intellectual goals as the first..

Metalogic: An Introduction to the Metatheory of Standard First Order LogicThis work makes available ..

Modal Logic: An IntroductionModal Logic: An IntroductionSpecifications of Modal Logic: An Introducti..

First-Order Logic: An IntroductionAn introduction to elementary logic, the practice of formal reason..

The Languages of Logic: An Introduction to Formal LogicWith the same intellectual goals as the first..

Sets, Functions, and Logic: An Introduction to Abstract Mathematics, Third Edition (Chapman Hall/CRC..

Modal Logic: An IntroductionModal Logic: An IntroductionSpecifications of Modal Logic: An Introducti..

Metalogic: An Introduction to the Metatheory of Standard First Order LogicThis work makes available ..

A First Course In Logic: An Introduction To Model Theory, Proof Theory, Computability, And Complexit..

Modal Logic: An Introduction To Its Syntax And SemanticsIn this text, a variety of modal logics at t..