このページのリンク

On the shape of mathematical arguments / A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra
(Lecture notes in computer science ; 445)

データ種別 図書
出版者 Berlin ; New York : Springer-Verlag
出版年 c1990
本文言語 英語
大きさ viii, 180 p. ; 25 cm

所蔵情報を非表示

書庫2階 QA:9.54:G37:1990

000130565

書誌詳細を非表示

一般注記 Includes bibliographical references
著者標目 *Gasteren, Antonetta J. M. van, 1952-
Dijkstra, Edsger Wybe, 1930-
件 名 LCSH:Proof theory
分 類 LCC:QA9.54
DC20:511.3
巻冊次 : gw ; ISBN:3540528490 REFWLINK
: us ; ISBN:0387528490 REFWLINK
ISBN 3540528490
NCID BA10574702 WCLINK
目次/あらすじ

 類似資料