Complexity of proofs and their transformations in axiomatic theories / V. P. Orevkov |
Autore | Orevkov, V. P. |
Pubbl/distr/stampa | Providence, : American Mathematical Society, 1993 |
Descrizione fisica | VI, 153 p. ; 26 cm. |
Soggetto topico | 03F20 - Complexity of proofs [MSC 2020] |
ISBN | 08-218-4576-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0059635 |
Orevkov, V. P.
![]() |
||
Providence, : American Mathematical Society, 1993 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Complexity of proofs and their transformations in axiomatic theories / V. P. Orevkov |
Autore | Orevkov, V. P. |
Pubbl/distr/stampa | Providence, : American Mathematical Society, 1993 |
Descrizione fisica | VI, 153 p. ; 26 cm |
Soggetto topico | 03F20 - Complexity of proofs [MSC 2020] |
ISBN | 08-218-4576-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0059635 |
Orevkov, V. P.
![]() |
||
Providence, : American Mathematical Society, 1993 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logical and logico-mathematical calculi. 2 / edited by V. P. Orevkov |
Autore | Orevkov, V. P. |
Pubbl/distr/stampa | Providence, R.I. : American Mathematical Society, 1974 |
Descrizione fisica | v, 183 p. ; 25 cm. |
Collana | Proceedings of the Steklov Institute of Mathematics, ISSN 00815438 ; 121 (1972) |
Soggetto topico | Symbolic and mathematical logic |
ISBN | 082183021X |
Classificazione | AMS 00B25 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001096209707536 |
Orevkov, V. P.
![]() |
||
Providence, R.I. : American Mathematical Society, 1974 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|