Basic proof theory A. S. Troelstra; H. Schwichtenberg
Materialtyp:
TextSprache: Englisch Reihen: ; 43,2 | Cambridge tracts in theoretical computer science ; 43.2000Verlag: Cambridge [u.a.] Cambridge University Press 2000Auflage: 2. edBeschreibung: XII, 417 S. Ill. 23 cmInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 0521784522
- 0521779111
- QA9.54
- 17,1
- SK 130
- ST 130
- 03F
- 03
- *03F03
- 03-02
- 03-01
- 03F52
- 68N17
- 03F05
- 03B40
- 03G30
- 03B45
- 03F30
- 03F35
- 03B70
- 31.10
- 54.10
Inhalte:
Andere Ausgaben: Online-Ausg.: / Troelstra, Anne Sjerp: Basic proof theory
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | 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 2000:1 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Ausgeliehen | 18/07/2024 | 2000000166650 | |
|
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 2000:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000135094 |
Includes index. - Previous ed.: 1996
Includes bibliographical references (p. 379 - 403) and index
Troelstra, Anne Sjerp: Basic proof theory