---

＜電子ブック＞
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis / edited by Anne S. Troelstra
(Lecture Notes in Mathematics. ISSN:16179692 ; 344)

版	1st ed. 1973.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1973
大きさ	XX, 488 p : online resource
著者標目	Troelstra, Anne S editor SpringerLink (Online service)
件　名	LCSH:Mathematical logic FREE:Mathematical Logic and Foundations
一般注記	Intuitionistic formal systems -- Models and computability -- Realizability and functional interpretations -- Normalization theorems for systems of natural deduction -- Applications of Kripke models -- Iterated inductive definitions, trees and ordinals -- Erratum HTTP:URL=https://doi.org/10.1007/BFb0066739

 類似資料