Evert Willem Beth : Formal methods : an introduction to symbolic logic and to the study of efective operations in arithmetic and logic
Ei varastossa
Vain %1 jäljellä
SKU
P-FORM-265C05
| Tuoteryhmä | |
|---|---|
| Tekijä | Evert Willem Beth |
| Teoksen nimi | Formal methods : an introduction to symbolic logic and to the study of efective operations in arithmetic and logic |
| Kieli | englanti |
| Verokanta | - |
| Avainsanat | logiikka, logik, Logic, Symbolic and mathematical |