عنوان
پدید آورنده
موضوع
رده
QA 1 .L4 v.447
QA
1
.
L4
v
.
447
کتابخانه
محل استقرار
English
Tableau systems for first order number theory and certain higher order theories
Berlin, New York
Springer-Verlag
1975
339 p. ; 25 cm
Lecture notes in mathematics ; 744
Bibliography: p. 335-339
Bibliography: p. )335(-339
Sue Toledo
1
، Proof theory
، Number theory
، Predicate calculus
QA
1
.
L4
v
.
447
CA
510/
.
8
s
0491-
Toledo, Sue Ann
AU
TI
SE
