Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "112409156"
Treffer 8 von 34
|
|
| Link zu diesem Datensatz | https://d-nb.info/1266072683 |
| Titel | Judgements of Higher Levels and Standardized Rules for Logical Constants in Martin-Löf's Theory of Logic / Peter Schroeder-Heister |
| Person(en) | Schroeder-Heister, Peter (Verfasser) |
| Verlag | Tübingen : Universitätsbibliothek Tübingen |
| Zeitliche Einordnung | Erscheinungsdatum: 2022 |
| Umfang/Format | Online-Ressource |
| Persistent Identifier | URN: urn:nbn:de:bsz:21-dspace-1309502 |
| URL |
https://publikationen.uni-tuebingen.de/xmlui/handle/10900/130950/ (Verlag) (kostenfrei zugänglich) http://hdl.handle.net/10900/130950 (Verlag) (kostenfrei zugänglich) http://dx.doi.org/10.15496/publikation-72310 (Verlag) (kostenfrei zugänglich) http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1309502 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Anmerkungen | In: Proceedings of the Workshop on Programming Logic, Båstad, Sweden, 21-26 May 1989. Ed. by Peter Dybjer, Lars Hallnäs, Bengt Nordström, Kent Petersson and Jan M. Smith. Programming Methodology Group, University of Göteborg and Chalmers University of Technology 1989, Report 54, pp. 494-517 |
| Schlagwörter | Logik, Beweistheorie, Logische Partikel, Per Martin-Löf [Person] |
| DDC-Notation | 004.01 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 8 von 34
Administration
