Titre : | Formal methods: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic |
Auteurs : | Evert w. Beth |
Type de document : | Books |
Editeur : | Dordrecht : Reidel, 1962 |
Article en page(s) : | XIV, 170 p. |
Langues: | Anglais |
Index. décimale : | 164 |
Exemplaires (1)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
K5669752 | 164 BET F | Book | Royal Military Academy | Bibliothèque ERM | Disponible |