Ucebnice.cz Odborná • naučnáPřírodní vědyMatematika
Termín obdržení zásilky
Česká pošta Středa 10.09
PPL Středa 10.09
Osobní odběr Čtvrtek 11.09
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Metalogic

Metalogic
10 %

768  Kč 852 Kč

Sleva až 70% u třetiny knih
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.
Autor:
Nakladatel: University of California Press
ISBN: 9780520023567
Rok vydání: 1992
Jazyk : Angličtina
Vazba: Paperback
Počet stran: 302
Mohlo by se vám také líbit..