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

Author:

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

Book language:

Rus

Publisher:

М., Наука

Publishing year:

1967

Գրանցման համար:

0121, 0122

Էջեր:

350

Ինդեքս:

М-34

Copy Number:

2

2164

510.6