Tableau systems for first order number theory and certain higher order theories / Sue Toledo.

Saved in:

Bibliographic Details
Main Author:	Toledo, Sue Ann, 1940-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1975.
Series:	Lecture notes in mathematics (Springer-Verlag), 447.
Subjects:	Proof theory. Number theory. Predicate calculus.

Holdings details from Science Library
Call Number:	QA9.54 .T64
Status:	Available

Similar Items