Košík
tovar
(prázdne)
Kontakt
Účet
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.
prečítať celé
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.
Skryť popis
- Nakladateľ: Springer-Verlag New York Inc.
- Kód:
- Rok vydania: 2012
- Jazyk: Angličtina
- Väzba: Paperback
- Počet strán: 291
- Šírka balenia: 23.4 cm
- Výška balenia: 15.6 cm
- Hĺbka balenia: 1.3 cm
- Váha balenia: 462 g
Recenzie