Cargando…
Logical frameworks for truth and abstraction: an axiomatic study
This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, i...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Elsevier Science
1996
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2066262 |