Sets, models and recursion theory proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August - September 1965 ed. by John N. Crossley
Materialtyp:
TextSprache: Englisch Reihen: Studies in logic and the foundations of mathematicsVerlag: Amsterdam North-Holland 1967Beschreibung: 331 SInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- Aggregates -- Congresses
- Mathematical, models -- Congresses
- Recursive functions -- Congresses
- Logic, symbolic and mathematical -- Congresses
- Mathematische Logik
- Mathematische Logik
- Mathematische Logik
- Menge
- Modelltheorie
- Rekursionstheorie
- Rekursionstheorie
- Mathematische Logik
- Mathematische Logik
- Modelltheorie
- Menge
- Mathematische Logik
- SD 1965
- CC 2600
- 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) | Books A-Z (1st) | CRO j2 1967:1 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000132358 | ||
|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | CRO j2 1967:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000160881 |
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)
| CRI m 1977:1 1.Ex An introduction to computer hardware | CRI p 1965:1 1.Ex The compatible time-sharing system a programmer's guide | CRO j 1973:1 1.Ex Computer simulation in genetics | CRO j2 1967:1 1.Ex Sets, models and recursion theory proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August - September 1965 | CRO j3 1999:1 1.Ex Internetworking multimedia | CRO m 1994:1 2.Ex Text algorithms | CRO m4 2010:1 1.Ex Resource-adaptive cognitive processes with 14 tables |