-
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
-
Link To Document :
