---

Six papers in logic / by S.N. Artemov ... [et al.] ; [translation edited by Ben Silver]
(American Mathematical Society translations ; Series 2, v. 135)

データ種別	図書
出版者	Providence, R.I. : American Mathematical Society
出版年	c1987
形態	ix, 79 p. ; 26 cm
別書名	異なりアクセスタイトル:6 papers in logic
著者標目	Artemov, S. N. Silver, Ben American Mathematical Society
件　名	LCSH:Logic, Symbolic and mathematical
分　類	NDC:410.8 LCC:QA3 LCC:QA9.2 DC19:510 s DC19:511.3
書誌ID	LT00270744

 類似資料