このページのリンク

Extensional Gödel functional interpretation : a consistency proof of classical analysis / Horst Luckhardt
(Lecture notes in mathematics ; 306)

データ種別 図書
出版情報 Berlin : Springer-Verlag , 1973
本文言語 英語
大きさ vi, 161 p. ; 26 cm

所蔵情報を非表示

積層4層 : gw 410.8||L||306 9851372052
3540061193

書誌詳細を非表示

一般注記 Bibliography: p. 157-161
著者標目  *Luckhardt, Horst
分 類 LCC:QA3
LCC:QA9
DC:510/.8 s
DC:511/.3
件 名 LCSH:Proof theory
LCSH:Intuitionistic mathematics
書誌ID TY00017403
ISBN 0387061193
NCID BA06810798