Broschiertes Buch

First-order Logic

Versandkostenfrei!

Versandfertig in 6-10 Tagen

22,99 €

inkl. MwSt.

Jetzt bewerten

PAYBACK Punkte

11 °P sammeln!

First-order logic. Non-logical symbol, Free variables and bound variables, Structure (mathematical logic), List of rules of inference, Method of analytic tableaux, Sequent calculus, Higher-order logic, Extension by definitions, Interpretation (model theory), Herbrandization