Kanonische Modelle für schnittfreie Kalküle mit besonderer Anwendung auf die Typenlogik.
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Tübingen
Univ., Fachbereich Mathematik
1977
|
| Tags: |
No Tags, Be the first to tag this record!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 1818772 | ||
| 007 | tu | ||
| 041 | |a ger | ||
| 100 | 1 | |a Pfitzenmaier, Siegfried | |
| 245 | 1 | 0 | |a Kanonische Modelle für schnittfreie Kalküle mit besonderer Anwendung auf die Typenlogik. |
| 246 | 3 | |a Pfitzenmaier, Siegfried | |
| 264 | 1 | |a Tübingen |b Univ., Fachbereich Mathematik |c 1977 | |
| 300 | |a 64 S. |c 8° | ||
| 500 | |a Pfitzenmaier, Siegfried -- Kanonische Modelle für schnittfreie Kalküle mit -- besonderer Anwendung auf die Typenlogik. -- 1977. 64 S. 8° -- Tübingen, Univ., Fachbereich Mathematik, Diss. -- 1977 | ||
| 852 | |c D 159.967 | ||
| 999 | |a Dissertation | ||
| 591 | |a description: BestellNr StandortKanonische Modelle für schnittfreie Kalküle mitbesonderer Anwendung auf die Typenlogik.1977. 6U S. 8Tübingen, Univ., Fachbereich Mathematik, Diss.1977 |a author: Pfitzenmaier, Siegfried |a published: 1977 | ||