Tableau systems for first order number theory and certain higher order theories

by Sue Toledo · 1 review · 1980

Metaphysics & Logic

Also by Toledo

• Visita a un lugar de memoria: Guía para el trabajo en derechos humanos (Visiting a Site of Memory: A Guidebook to Work on Human Rights) (1 review)

Search PhilReviews for this title