Elementi di logica matematica
Roma : Editori riuniti, 1975
Abstract:
Algebra delle proposizioni - Calcolo delle proposizioni - Logica dei predicati - Calcolo dei predicati - Aritmetica assiomatica - Elementi di teoria della dimostrazione.
Field | Value |
---|---|
Description | Elementi di logica matematica/ Petr Sergeevic Novikov ; a cura di Roberto Cordeschi ; prefazione di Carlo Cellucci. - Roma : Editori riuniti, 1975. - XXX, 312 p. ; 22 cm. - (Nuova biblioteca di cultura. Serie scientifica ; 133) |
Notes |
Traduzione di Roberto Cordeschi.
|
Uniform title | |
Series |
|
Numbers |
|
Authors |
|
Keys | |
Publishing location |
|
Editor |
|
Country | |
Language | |
ID file | 44364 |
Library | Inv. | Ubi. | Collocation | State | Status | Reservations |
---|---|---|---|---|---|---|
Biblio Conf | 0095507 | Biblioteca | LC / 975 / 24 | Available | In library | None |