First-order Logic
22,99 €
inkl. MwSt.

Versandfertig in 6-10 Tagen
payback
11 °P sammeln
  • Broschiertes Buch

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

Andere Kunden interessierten sich auch für
Produktbeschreibung
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