Theory of formal systems by Raymond M. Smullyan
Materialtyp: TextSprache: Englisch Reihen: ; 47,rev | Annals of mathematics studies ; 47,revVerlag: Princeton, NJ Princeton Univ. Press 1961Auflage: Rev. edBeschreibung: 147 SInhaltstyp:- Text
- ohne Hilfsmittel zu benutzen
- Band
- 069108047X
- CC 2600
- SI 830
- SK 130
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) | Series (B) | AOMS 47 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000071620 | ||
Buch | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Series (B) | AOMS 47 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000071552 | ||
Buch | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Series (B) | AOMS 47 3.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2202000213048 |
Regale von HOMEBRANCH: Universität des Saarlandes Fachrichtung Informatik durchstöbern, Standort: Series (B), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
AODM 3 2.Ex Advances in graph theory | AOMS 34 Automata studies | AOMS 34 2.Ex Automata studies | AOMS 47 Theory of formal systems | AOMS 47 2.Ex Theory of formal systems | AUS 10:2 Epsilon (T n)- subscalar n-tuples and the Cesaro operator on H p | BOLYAI 26 Mathematical logic in computer science Colloquium on Mathematical Logic in computer science, in Salgótarján between 10 - 15 September, 1978. |
Smullyan, Raymond M.: Theory of Formal Systems