---

＜図書＞
Formally self-referential propositions for cut free classical analysis and related systems / G. Kreisel and G. Takeuti.
(Dissertationes mathematicae)

出版者	Warszawa : Panstwowe Wydawn. Naukowe
出版年	1974
大きさ	55 p. ; 25 cm.
著者標目	Kreisel, G Takeuti, Gaishi, 1926-
件　名	Logic, Symbolic and mathematical Proposition (Logic) Numerical analysis
一般注記	At head of title: Polska Akademia Nauk. Instytut Matematyczny. ＼ Bibliography: p. {49}-50.

 類似資料