Prenex Normal Form: Predicate Calculus, Form, Quantifier, Classical Logic

Name: Prenex Normal Form: Predicate Calculus, Form, Quantifier, Classical Logic
Brand: OmniScriptum
SKU: 1a513f2c6044dac66a958d082ed61981

1/1

Prices from

145.79

Featured

Description

Prenex Normal Form: Predicate Calculus, Form, Quantifier, Classical Logic

Compare webshops (2)

Sort by:

€ 145.79

Description (0)

Prenex Normal Form: Predicate Calculus, Form, Quantifier, Classical Logic

Brand	OmniScriptum
EAN	9786133067547

OmniScriptum

Rules of Passage (Logic): Mathematical Logic, Quantifier, Logical Connective, Prenex Normal Form, Biconditional

Books On Demand

Formal Logic: Propositional Logic, Predicate Modal and Non-Classical Logics

OmniScriptum

Algebraic Normal Form: Boolean logic, form, Automated theorem proving, Random number generation,...

OmniScriptum

Kernel Normal Form: Form, BSD, Comparison of BSD Operating Systems