Košík
zboží
(prázdné)
Kontakt
Účet
Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last...
číst celé
Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.
schovat popis
- Nakladatel: University of California Press
- Kód:
- Rok vydání: 1992
- Jazyk: Angličtina
- Vazba: Taschenbuch
- Počet stran: 302
- Šířka balení: 20.9 cm
- Výška balení: 13.6 cm
- Hloubka balení: 1.8 cm
- Váha balení: 400 g
Recenze