Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkul der ersten Stufe [monographie] |
| Auteur(s): | Surányi, János (1918-2008) |
| Langue: | allemand |
| Editeur, date d'édition: | VEB Deutscher Verlag der Wissenschaften, 1959 |
| Ville(s) d'édition: | Budapest (HU) |
| Classification MSC: | 02.00 |
| Notes: | Bibliogr. pp. 213-215 ; index pp. 216 ; 24 cm ; 216 p. |
| Thèmes: | recursivite, recursive functions, logic, symbolic and mathematical, calcul des predicats, resolution de probleme |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 SUR 59 | Disponible |