KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Online Resource

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (1973)

Troelstra, A. S. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg,

add to watchlist on the watchlist

Details

UID:

almahu_9947921478202882

Format: XX, 488 p. , online resource.

ISBN: 9783540378068

Series Statement: Lecture Notes in Mathematics, 344

Note: 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.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540064916

Language: English

DOI: 10.1007/BFb0066739

URL: http://dx.doi.org/10.1007/BFb0066739

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HU Berlin

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund

Berlin Brandenburg