Kanonische Modelle für schnittfreie Kalküle mit besonderer Anwendung auf die Typenlogik.
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | alemán |
| Publicado: |
Tübingen
Univ., Fachbereich Mathematik
1977
|
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
| Order eBook: |
|
| Order Book: | Login to order |
Sexa o primeiro en deixar un comentario!