|
|||||
|
|
Extending the First Gentzen's Consistency Proof to the Intuitionistic Case |
|
| Authors: | Pallares Maria Fernanda |
| Institution: | Philosophy Department, Pontificia Universidade Católica, Rua Marquês de São Vicente 225. Gávea CEP:22453-900. Rio de Janerio, Brasil/Philosophy Institute, Universidad de la República, Montevideo, Uruguay. E-mail: pallaresmf{at}hotmail.com |
| Abstract: | |
| Keywords: | Proof theory Gentzen Consistency proofs |
| 本文献已被 Oxford 等数据库收录！ | |