Математическая логика и автоматическое доказательство теорем. (Мат. логика и основания математики)

Author: 
Чень Ч., Ли Р.
Book language: 
Rus
Publisher: 
М., Наука
Publishing year: 
1983
Registration Number: 
5123
Pages: 
358
Index: 
Ч-43
Copy Number: 
1
3706
510.6