Справочная книга по математической логике, Теория доказательств

Переглянути

2cac1300b98b069cda66282345de45f5.djvu (4.177Mb)

Дата

1983

Автор

Барвайс Дж. (ред.)

Metadata

Показати повний опис матеріалу

Короткий опис(реферат)

URI

http://ir.nmu.org.ua/handle/GenofondUA/37108

Collections

Libgen [81666]