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

RecordNumber :

28475

LC Class :

LC Number :

LC CutterNumber :

.L28,no.

LC Date :

447

Dewey Class :

510

Dewey CutterNumber :

/.8 s 511

Dewey Date :

/.3

Author :

Title :

Author Statement :

Sue Toledo

Publication :

Springer-Verlag

Collation :

339 p. ; 25 cm

Series :

Lecture notes in mathematics ; 447

Subject :

Holding Info. :

0387071490

DocumentNumber :

7839

Biblography :

Bibliography: p. [335]-339.

BL :

Link To Document :