Explore Books on
first-order logic

First-order logic

By Raymond M. Smullyan

Truth-functional logic

By J. A. Faris

Independence-friendly logic

By Allen L. Mann

The art of logic in an illogical world

By Eugenia Cheng

Metalogic

By Geoffrey Hunter

Formal logic

By Richard C. Jeffrey

The language of first-order logic

By Barwise, Jon.

First order mathematical logic

By Angelo Margaris

Technical Methods In Philosophy

By John Pollock

Mathematical Logic

By Katalin Bimbo

Logic, language-games and information

By Jaakko Hintikka

Classical First-Order Logic

By Stewart Shapiro,Teresa Kouri Kissel

Duality and definability in first order logic

By Michael Makkai,Mihály Makkai

Semigroups underlying first-order logic

By William Craig

The principles of mathematics revisited

By Jaakko Hintikka

Fundamentals of physical design and query compilation

By David Toman

Formal logic

By Richard C. Jeffrey

A lattice of chapters of mathematics

By Jan Mycielski

First-order logic revisited

By Vincent F. Hendricks

Extensions of First-Order Logic (Cambridge Tracts in Theoretical Computer Science)

By Maria Manzano

Henkin-Keisler Models

By George Weaver

Tarski's world 3.0

By Barwise, Jon.

Calcul en logique du premier ordre

By Yves Bouchard

Mathematical Logic

By Katalin Bimbó