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

Author: 
Чень Ч., Ли Р.
Book language: 
Rus
Publisher: 
М., Наука
Publishing year: 
1983
Գրանցման համար: 
5123
Էջեր: 
358
Ինդեքս: 
Ч-43
Copy Number: 
1
3706
510.6