Formal methods : An introduction to symbolic logic and to the study of effective opeations in arithmetic and logic [monographie] |
| Auteur(s): | Beth, Evert Willem (1908-1964) |
| Langue: | anglais |
| Collection: | Synthese library, n° 4 |
| Editeur, date d'édition: | D. Reidel Publishing Compagny, 1962 |
| Ville(s) d'édition: | Dordrecht (NL) |
| ISSN: | 0166-6991 |
| Classification MSC: | 02.00 (2000) |
| Notes: | xiv ; bibliogr. pp. 164-167 ; index pp. 168-169 ; 23 cm ; 170 p. |
| Thèmes: | logique, semantique, theorie formalisation, tableau semantique, completude, quantificateur, theorie definition, machine logique |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 BET 62 | Disponible |