Mathematical interpretation of formal systems Th. Skolem [Mitarb.]
Materialtyp:
TextSprache: Englisch Reihen: Studies in logic and the foundations of mathematicsVerlag: Amsterdam [u.a.] North-Holland Publ. 1971Auflage: 2. edBeschreibung: VIII, 113 SInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 0720422264
- 511/.3
- CC 2600
- SK 130
- SD 1954
| 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) | SKO th 1971:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2202000153443 |
Regale von HOMEBRANCH: Universität des Saarlandes Fachrichtung Mathematik durchstöbern, Standort: Books A-Z (1st), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
| SKO m 1962:1 1.Ex Introduction to radar systems | SKO th 1955:1 1.Ex Mathematical interpretation of formal systems [Symposion on "Mathematical interpretation of formal systems"at Amsterdam on September 9 and 10, 1954] | SKO th 1962:1 1.Ex Abstract set theory | SKO th 1971:1 1.Ex Mathematical interpretation of formal systems | SKR i 1986:1 1.Ex Nonlinear elliptic boundary value problems | SKU e 1954:1 1.Ex Die Grundlagen der Akustik | SKV r 1986:1 2.Ex Discrete mathematics with computer science applications |
Literaturverz. S. 112 - 113