The Curry-Howard isomorphism edited by Ph. de Groote
Materialtyp:
TextSprache: Englisch Reihen: ; 8 | Cahiers du Centre de Logique ; 8Verlag: Louvain-la-Neuve Academia 1995Beschreibung: 364 SInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 287209363X
- QA9.54.C87 1995
- *03B40
- 03-06
- 03B15
- 03F05
- 03F50
- 1
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Hinweise | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | GRO ph 1995:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000034171 | |||
|
Buch
|
Gebäude E1 5 (MPI-SWS SB) | MPI-INF (E1 5) | Internal | restricted use | D2-internal | 2002000001269 |
"Université catholique de Louvain, Département de philosophie." - Includes bibliographical references
Archivierung prüfen 20200919 DE-640 1 pdager