このページのリンク

他の検索サイト

Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček
(Oxford logic guides ; 23)

所蔵情報を非表示

科学文化論(品)
410.1/C79 0193012057 9301205

書誌詳細を非表示

出版情報 Oxford : Clarendon Press , 1993
大きさ xii, 428 p. : port. ; 25 cm
著者標目 Clote, Peter
Krajíček, Jan
件　名 FREE:Proof theory
FREE:Computational complexity
分　類 LCC:QA9.54
DC:511.3
本文言語 英語
書誌ID TY00001659
NCID BA20017713

 類似資料