---

＜図書＞
Tableau systems for first order number theory and certain higher order theories / Sue Toledo.
(Lecture notes in mathematics ; 447)

出版者	Berlin : Springer
出版年	1975
大きさ	339 p. ; 25 cm.
著者標目	Toledo, Sue Ann, 1940-
件　名	Proof theory Number theory Predicate calculus
一般注記	Bibliography: p. {335}-339.

 類似資料