Artículos relacionados a Metamathematical Investigation of Intuitionistic Arithmetic...

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis - Tapa blanda

 
9783662210352: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Tapa blanda
ISBN 10: 3662210355 ISBN 13: 9783662210352
Editorial: Springer, 2014

Esta edición ISBN ya no está disponible.

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2014
Idioma
Inglés
ISBN 10 
3662210355
ISBN 13 
9783662210352
Encuadernación
Paperback
Contacto del fabricante
no disponible
Persona responsable
no disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  3540064915 ISBN 13:  9783540064916
Editorial: Springer, 2009
Tapa blanda