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

Formal logic

By Richard C. Jeffrey

Classical First-Order Logic

By Stewart Shapiro,Teresa Kouri Kissel

Duality and definability in first order logic

By Michael Makkai,Mihály Makkai

First-order logic revisited

By Vincent F. Hendricks

A lattice of chapters of mathematics

By Jan Mycielski

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

Categorial grammar and the logical form of quantification

By Harold D. Levin

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

By Maria Manzano

The first-order approach to multi-task principal-agent problems

By Bernard Sinclair-Desgagne

Henkin-Keisler Models

By George Weaver

Tarski's world 3.0

By Barwise, Jon.