RecordNumber
46688
Author
Toledo, Sue Ann, 1940
Title
Talleau systems of first order number theory and certain higher order theories
Author Statement
Sue Ann Toledo
Publication
Springer
Publication Year
1975
Collation
339p.: diagrs
Series
Lecture notes in mathematics
Bibliography
Bibliography: p. [335]-339
Subject
Proof theory , Numbers, theory of , Predicate calculus
Main Class
511
Sub Class
.3
Cutter no
T649t
وارد كنندة اطلاعات
soltani^d// , khodaei^d2003/08/25 13:24:10