The language of first-order logic, including the program Tarski's world. Includes version 3.0 of LV 370(2)

by Jon Barwise · 1 review · 1993

Reviewed by	Journal	Date	Access
Kevin J. Compton	The Journal of Symbolic Logic	1993	Restricted

Metaphysics & Logic

Also by Barwise

Handbook of Mathematical Logic (6 reviews)
The Situation in Logic (5 reviews)
Admissible Sets and Structures (1 review)
Admissible sets and structures. An approach to definability theory (1 review)
Handbook of Mathematical Logic Jon Barwise H. J. Keisler Kenneth Kunen Y. N. Moschovakis A. S. Troelstra (1 review)
Language, Proof and Logic Jon Barwise John Etchemendy (1 review)
Situations and Attitudes J. Barwise J. Perry (1 review)
Situations and Attitudes Jon Barwise John Perry (1 review)

Search PhilReviews for this title