Autor H. -D. Ebbinghaus

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. It covers several...

• Knihapevná väzba
  71,37 €

  Viac ako 30 dní

  Tento produkt je na objednávku a jeho dodanie môže trvať aj viac ako 30 dní. Urobíme však všetko pre to, aby sme vašu objednávku odoslali čo najskôr a o jej ceste vás budeme včas informovať.

  Pridať do zoznamu

  Vložiť do košíka