このページのリンク

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

データ種別 図書
出版情報 Oxford : Clarendon Press , 1993
本文言語 英語
大きさ xii, 428 p. : port. ; 25 cm

所蔵情報を非表示

書庫2階 QA:9.54:A75:1993
0198536909 001195266

書誌詳細を非表示

著者標目 Clote, Peter
Krajíček, Jan
件 名 LCSH:Proof theory
LCSH:Computational complexity
LCSH:Arithmetic
分 類 LCC:QA9.54
DC20:511.3
巻冊次 ISBN:0198536909 REFWLINK
ISBN 0198536909
NCID BA20017713
目次/あらすじ

 類似資料