Formal methods : an introduction to symbolic logic and to the study of efective operations in arithmetic and logic
Finna-arvio
Formal methods : an introduction to symbolic logic and to the study of efective operations in arithmetic and logic
Tallennettuna:
| Ulkoasu |
170 pages : illus. ; 23 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Dordrecht :
Reidel,
1962.
|
| Sarja | Synthese library |
| Luokitus | |
| Aiheet | |
| Lisätiedot | Evert W. Beth |