Cargando…
Mathematical intuitionism
This monograph is intended to present the most important methods of proof theory in intuitionistic logic, assuming the reader to have mastered an introductory course in mathematical logic. The book starts with purely syntactical methods based on Gentzen's cut-elimination theorem, followed by in...
Autores principales: | , |
---|---|
Lenguaje: | eng |
Publicado: |
American Mathematical Society
1988
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2318054 |