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

Открыть

2cac1300b98b069cda66282345de45f5.djvu (4.177Mb)

Дата

1983

Автор

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

Metadata

Показать полную информацию

Аннотации

URI

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

Collections

Libgen [81666]