Sequent Calculus: Formal System, Mathematical Logic, Proof Theory, Gerhard Gentzen, Natural Deduction

Prijzen vanaf
47,31

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Sequent Calculus: Formal System, Mathematical Logic, Proof Theory, Gerhard Gentzen, Natural Deduction

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Sorteren op:

€ 47,31

€ 47,31

Beschrijving (0)

Sequent Calculus: Formal System, Mathematical Logic, Proof Theory, Gerhard Gentzen, Natural Deduction

Productspecificaties

Merk Betascript Publishers
EAN
  • 9786130577834

OmniScriptum

Proof Procedure: Logic, Theory, Calculus, Natural Deduction, Gentzen

125,84
Vergelijk 2 shops 2 shops

OmniScriptum

Sequent: Proof theory, calculus, Deductive reasoning, Judgment (mathematical logic), Turnstile (symbol), Metalanguage, Logical conjunction

95,35
Vergelijk 2 shops 2 shops

Alphascript Publishing

Propositional Calculus: Calculus. Interpretation (logic), Logical graph, Truth value, connective, Formal system,...

35,48
Vergelijk 2 shops 2 shops

Independently Published

Logic and COMPUTATIONAL Proof SYSTEMS: Propositional Predicate Calculus Search Automated Deduction Formal Reasoning

12,82
Vergelijk 2 shops 2 shops
Uitgelichte Keuze
47,31
Naar shop