Memory: A Contribution to Experimental Psychology, Ebbinghaus Hermann

Автор: Ebbinghaus, Heinz-dieter Flum, Jorg Thomas, Wolfgang
Название: Mathematical logic
ISBN: 3030738388 ISBN-13(EAN): 9783030738389
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines.