Research Catalog

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

Title
Tableau systems for first order number theory and certain higher order theories / Sue Toledo.
Author
Toledo, Sue Ann, 1940-
Publication
Berlin ; New York : Springer-Verlag, 1975.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA3 .L28 no.447Off-site

Details

Description
339 p.; 25 cm.
Series Statement
Lecture notes in mathematics ; 447
Uniform Title
Lecture notes in mathematics (Springer-Verlag) ; 447.
Subject
  • Proof theory
  • Number theory
  • Predicate calculus
Bibliography (note)
  • Bibliography: p. [335]-339.
Additional Formats (note)
  • Also available in an electronic version.
ISBN
0387071490
LCCN
75006738
OCLC
  • ocm01255064
  • SCSB-14870197
Owning Institutions
Princeton University Library