Demostraciones de consistencia y derivabilidad formal: a 60 años de las "investigaciones sobre la deducción lógica" de G. Gentzen
Fil: Legris, Javier. Universidad de Buenos Aires; Argentina.
Saved in:
| Main Author: | |
|---|---|
| Format: | conferenceObject biblioteca |
| Language: | spa |
| Published: |
Universidad Nacional de Córdoba
1995-09
|
| Subjects: | Epistemología, Historia de la ciencia, |
| Online Access: | http://hdl.handle.net/11086/4284 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|