First-Order Logic Raymond M. Smullyan - Hardcover - Springer

Introduction to Higher-Order Categorical Logic 1999 Paperback

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi

A Philosophical Companion to First-Order Logic Paperback

My First Logic Workbook for Gritty Kids: Spatial Reasoning, Math Puzzles,...

First-Order Logic Raymond R. Smullyan Paperback Springer Nature B

Intro Higher Order Categorical Logic Lambek & Scott PB

Isagoge: A Classical Primer on Logic (Paperback or Softback)