Items related to Metamathematical Investigation of Intuitionistic Arithmetic...

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis - Softcover

 
9783662210352: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Softcover
ISBN 10: 3662210355 ISBN 13: 9783662210352
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2014
Language
English
ISBN 10 
3662210355
ISBN 13 
9783662210352
Binding
Paperback

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540064916: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis: 344 (Lecture Notes in Mathematics, 344)

Featured Edition

ISBN 10:  3540064915 ISBN 13:  9783540064916
Publisher: Springer, 1973
Softcover