Algebraic logic / S. G. Gindikin ; translated by Robert H. Silverman |
Autore | Gindikin, Semen G. |
Pubbl/distr/stampa | New York, : Springer, 1985 |
Descrizione fisica | XVIII, 356 p. : ill. ; 24 cm. |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020] |
ISBN | 03-87961-79-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0055651 |
Gindikin, Semen G.
![]() |
||
New York, : Springer, 1985 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Algebraic logic / S. G. Gindikin ; translated by Robert H. Silverman |
Autore | Gindikin, Semen G. |
Pubbl/distr/stampa | New York, : Springer, 1985 |
Descrizione fisica | XVIII, 356 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020] |
ISBN | 03-87961-79-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0055651 |
Gindikin, Semen G.
![]() |
||
New York, : Springer, 1985 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Origins of programming : discourses on methodology / Andrei P. Ershov ; translated by Robert H. Silverman |
Autore | Ershov, Andrei P. |
Pubbl/distr/stampa | New York, : Springer, 1990 |
Descrizione fisica | X, 280 p. : ill. ; 24 cm. |
Soggetto topico | 68-XX - Computer science [MSC 2020] |
ISBN |
03-87970-61-4
8-1-4612-7947-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0023423 |
Ershov, Andrei P.
![]() |
||
New York, : Springer, 1990 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Origins of programming : discourses on methodology / Andrei P. Ershov ; translated by Robert H. Silverman |
Autore | Ershov, Andrei P. |
Pubbl/distr/stampa | New York, : Springer, 1990 |
Descrizione fisica | X, 280 p. : ill. ; 24 cm |
Soggetto topico | 68-XX - Computer science [MSC 2020] |
ISBN |
03-87970-61-4
978-14-612-7947-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0023423 |
Ershov, Andrei P.
![]() |
||
New York, : Springer, 1990 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|