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

SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

RECORD DETAIL

Title	Tableau systems for first order number theory and certain higher order theories
Edition
Call Number	511.3 TOL
ISBN/ISSN	3-540-07149-0
Author(s)	Toledo, Sue - Personal Name
Subject(s)	Numbers, Theory of. Proof Theory Predicate calculus
Classification	511.3
Series Title	Lecture notes in mathematics Vol. 447
GMD	Text
Language	English
Publisher	Springer-verlag
Publishing Year	1975
Publishing Place	Berlin
Collation	339p
Abstract/Notes
Specific Detail Info
Image
File Attachment	LOADING LIST...
Availability	LOADING LIST...
	Back To Previous

Select Language

Title :
Author(s) :

Subject(s) :

Call # :
ISBN/ISSN :
GMD : Collection Type : Location :

Implemented by: Anees ur Rehman