Генценовские системы для исчисления высказываний и аксиоматической арифметики, учебное пособие
| Glavni avtor: | |
|---|---|
| Korporativna značnica: | |
| Izdano: |
Челябинск, Изд-во ЧПИ, 1985
|
| Teme: | |
| Format: | Knjiga |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=278908 |
| Fizični opis: | 32 с. |
|---|