Basic proof theory A. S. Troelstra; H. Schwichtenberg
Materialtyp:
TextSprache: Englisch Reihen: ; 4300 | Cambridge tracts in theoretical computer science ; 43Verlag: Cambridge [u.a.] Cambridge Univ. Press 1996Beschreibung: XI, 343 S. IllInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 0521572231
- QA9.54
- 17,1
- SK 130
- *03F03
- 03-02
- 03-01
- 68N17
- 03F05
- 03B40
- 03G30
- 03B45
- 03F30
- 03F35
- 54.10
- 31.10
Inhalte:
| 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) | TRO a 1996:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000059501 | |||
|
Buch
|
Gebäude E1 5 (MPI-SWS SB) | MPI-INF (E1 5) | Internal | restricted use | D2-internal | 2002000000941 |
Bibliography. - Includes index
Bibliography. - Includes index