Математическая теория логического вывода. Сборник переводов..

Author:

Идельсон А.В., Минц Г.Е., ред.

Book language:

Rus

Publisher:

М., Наука

Publishing year:

1967

Registration Number:

0121, 0122

Pages:

350

Index:

М-34

Copy Number:

2

2164

510.6