Metamathematical investigation of intuitionistic arithmetic and analysis

書誌事項

Metamathematical investigation of intuitionistic arithmetic and analysis

A.S. Troelstra (ed.)

(Lecture notes in mathematics, 344)

Springer, 1973

  • : u.s.
  • : gw

大学図書館所蔵 件 / 68

この図書・雑誌をさがす

注記

Bibliography: p. [462]-475

内容説明・目次

目次

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.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ