Formal Languages in Logic: A Philosophical And Cognitive Analysis

Oxford University Press

Identity in Physics: A Historical, Philosophical, and Formal Analysis

CREATESPACE

Judaic Logic: A Formal Analysis of Biblical, Talmudic and Rabbinic Logic

Springer

"Introduction to Languages, Machines And Logic": "Computable Abstract Formal Logic"

The Languages of Logic: An Introduction to Formal Logic