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

Bibliographic Details

Main Author:	Toledo, Sue Ann, 1940-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1975.
Series:	Lecture notes in mathematics (Springer-Verlag) ; 447.
Subjects:	Proof theory. Number theory. Predicate calculus. Preuve, Théorie de la. Nombres, Théorie des. Calcul des prédicats. Electronic books.
Online Access:	Connect to the full text of this electronic book