Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"

Proof theory :

Pohlers, Wolfram,

Proof theory : the first step into impredicativity / Wolfram Pohlers - 370 páginas

9783540693185


Teoría de la demostración

QA9.54 / P65

Universidad Nacional Autónoma de México 

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad