Metamathematik der Elementarmathematik Erwin Engeler
Materialtyp:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- Text
- ohne Hilfsmittel zu benutzen
- Band
- 354012151X
- 038712151X
- 510/.1 19
- QA9.8
- 27
- SK 130
- SK 110
- QH 120
- 31.10
Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
---|---|---|---|---|---|---|---|---|
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | ENG e 1983:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000133571 | ||
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | ENG e 1983:1 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000133588 | ||
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | ENG e 1983:1 3.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2202000027263 |
Regale von HOMEBRANCH: Universität des Saarlandes Fachrichtung Informatik durchstöbern, Standort: Books A-Z (1st), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
ENG e 1968:1 1.Ex Formal languages: automata and structures | ENG e 1973:1 1.Ex Introduction to the theory of computation | ENG e 1983:1 1.Ex Metamathematik der Elementarmathematik | ENG e 1983:1 2.Ex Metamathematik der Elementarmathematik | ENG e 1988:1 1.Ex Berechnungstheorie für Informatiker | ENG e 1988:1 2.Ex Berechnungstheorie für Informatiker | ENG j3 1983:1 1.Ex Dynamic aspects of language processing focus and presupposition |
Literaturangaben