RecordNumber
:
46174
LC Class
:
QA
LC Number
:
248.5
LC CutterNumber
:
.G62
Author
:
Goodstein, R. L
Title
:
Recursive number theory
Publication
:
North-Holland Pub. Co.
Collation
:
xii, 190 p.; ILL.; 22 cm
Series
:
Studies in logic and the foundations of mathematics
Subject
:
Recursion theory , Arithmetic
SubTitle
:
a development of recursive arithmetic in a logic-free equation calculus
Index
:
Bibliography: p. 188
Link To Document :
https://library.iut.ac.ir/dL/search/default.aspx?Term=46174&Field=0&DTC=100
All Rights Reserved To Payam Mashregh Company
