> Details

Troelstra, Anne S. [Author]

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book
  • Title: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
  • Contributor: Troelstra, Anne S. [Author]
  • imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 1973
  • Published in: Lecture notes in mathematics ; 344
    Bücher
    Mathematics and Statistics
  • Extent: Online-Ressource (XX, 488 p, online resource)
  • Language: English
  • DOI: 10.1007/BFb0066739
  • ISBN: 9783540378068; 9783540064916
  • Identifier:
  • RVK notation: SI 850 : Lecture notes in mathematics
  • Keywords: Metamathematik > Intuitionistische Mathematik
    Metamathematik
    Intuitionistische Analysis
  • Origination:
  • Footnote:
  • Description: 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.