このページのリンク

Proof theory and logical complexity / Jean-Yves Girard.
(Studies in proof theory. ; 1)

データ種別 図書
出版者 Napoli : Bibliopolis
出版年 c1987-
本文言語 英語
大きさ v. <1 > ; 25 cm.

所蔵情報を非表示

V.1 GF:BOOK.SHELF 411/G474pr/v.1 04164834
8870881237

書誌詳細を非表示

別書名 Logical complexity.
一般注記 Includes index.
Bibliography: v. 1, p. [497]-500.
著者標目 Girard, Jean-Yves.
件 名 Proof theory
分 類 NDC:411
書誌ID 1000163812
ISBN 8870881237

 類似資料