Formal methods : an introd. to symbolic logic and to the study of effective operations in arithmetic and logic / Evert W. Beth
Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Synthese libraryVerlag: Dordrecht : Reidel, 1962Beschreibung: XIV, 170 SSchlagwörter: RVK: RVK: QH 120 | CC 2400 | CC 2600 | SK 130Call number: Grundsignatur: 2005 A 2976PPN: PPN: 1070669806| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 2005 A 2976 | Verfügbar | 47613337090 |
Anzahl Vormerkungen: 0