A mathematical introduction to logic Herbert B. Enderton
Materialtyp:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- Text
- ohne Hilfsmittel zu benutzen
- Band
- 0122384504
- SK 130
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) | END h 1991:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2204000013932 |
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)
END a 2003:1 2.Ex A handbook of software and systems engineering empirical observations, laws and theories | END b 1998:1 1.Ex Summarizing information including CD-ROM "SimSum", simulation of summarizing, for Macintosh and Windows | END g 1984:1 1.Ex Computer graphics programming GKS - the graphics standard | END h 1991:1 1.Ex A mathematical introduction to logic | END h 2002:1 1.Ex A mathematical introduction to logic | END h 2002:1 2.Ex A mathematical introduction to logic | ENG a3 2001:1 1.Ex Statistical mechanics of learning |