出版情報	Dordrecht : D. Reidel , c1972
大きさ	184 p. ; 23 cm
一般注記	Akademisk avhandling--Uppsala Extra t.p. with thesis statement inserted Bibliography: p. 177-180 Includes indexes
著者標目	*Stenlund, Sören
件　名	LCSH:Proof theory LCSH:Combinatory logic
分　類	LCC:QA9 DC:511/.3 NDLC:MA41
本文言語	英語
書誌ID	TB10014171
ISBN	9027703051
NCID	BA04530870
巻冊次	ISBN:9027703051