Košík
zboží
(prázdné)
Kontakt
Účet
MEGA VÝHODNÉ
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.
číst 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.
schovat popis
- Nakladatel: Springer-Verlag New York Inc.
- Kód:
- Rok vydání: 2012
- Jazyk: Angličtina
- Vazba: Taschenbuch
- Počet stran: 291
- Šířka balení: 23.4 cm
- Výška balení: 15.6 cm
- Hloubka balení: 1.3 cm
- Váha balení: 462 g
Recenze