Cargando…
Collected papers of Stig Kanger with essays on his life and work
Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. It is generally ac...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2001
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-94-010-0500-5 http://cds.cern.ch/record/2740608 |