In series Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, ISBN 0-521-77911-1. ↑ Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Pres, 1971 ↑ Aristotle's Physics: a Guided Study, Joe Sachs, 1995 ISBN 0813521920 p.