Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Editat de Anne S. Troelstra

en Limba Engleză Paperback – 14 noi 1973

Preț: 482^.93 lei

Nou

Puncte Express: 724

:
85^.49€ • 99^.40$ • 74^.70£

Carte tipărită la comandă

Livrare economică 22 ianuarie-05 februarie 26

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540064916
ISBN-10: 3540064915
Pagini: 504
Ilustrații: XX, 488 p.
Dimensiuni: 155 x 235 x 28 mm
Greutate: 0.76 kg
Ediția:1973
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.

Caracteristici

Includes supplementary material: sn.pub/extras

Papetărie, jocuri, reviste