- Main
- Mathematics
- Proof Theory and Logical Complexity:...
Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)
Jean-Yves Girard¿Qué tanto le ha gustado este libro?
¿De qué calidad es el archivo descargado?
Descargue el libro para evaluar su calidad
¿Cuál es la calidad de los archivos descargados?
Hardbound. This volume is the first in a series which will, in the future, be published jointly by Bibliopolis, Edizioni di Filosofia e Scienze spa, Napoli, and under the North-Holland imprint by Elsevier Science Publishers, Amsterdam.This is the first of a two-part work covering the main ideas and techniques of proof theory. This volume is introductory, starting with Hilbert (whose second problem in the famous list of problems of 1900 was the consistency of number theory), describing Hilbert's program and its demise at the hands of G?del. It then proceeds with Gentzen's result (the Hauptsatz is the main result of Part I) and improvements and generalizations to &ohgr;-logic.Volume II will cover more advanced logics.
Categorías:
Año:
1990
Idioma:
english
Páginas:
502
ISBN 10:
8870881237
ISBN 13:
9788870881233
Archivo:
DJVU, 3.82 MB
Sus etiquetas:
IPFS:
CID , CID Blake2b
english, 1990
Leer en línea
- Descargar
- djvu 3.82 MB Current page
- Checking other formats...
¿Quieres añadir una librería? Contáctanos a través de support@z-lib.do
El archivo se enviará a su dirección de correo electrónico durante el transcurso de 1-5 minutos.
El archivo será enviado a tu cuenta de Telegram durante 1-5 minutos.
Atención: Asegúrate de haber vinculado tu cuenta al bot Z-Library de Telegram.
El archivo será enviado a tu dispositivo Kindle durante 1-5 minutos.
Nota: Ud. debe verificar cada libro que desea enviar a su Kindle. Revise su correo electrónico y encuentre un mensaje de verificación de Amazon Kindle Support.
Conversión a en curso
La conversión a ha fallado
Beneficios del estado Premium
- Envía a dispositivos de lectura
- Mayor límite de descargas
- Convierte archivos
- Más resultados de búsqueda
- Otros beneficios