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

Prijzen vanaf
95,35

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

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

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Sorteren op:

€ 95,35

€ 95,35

Beschrijving (0)

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

Productspecificaties

Merk OmniScriptum
EAN
  • 9786132802385

Betascript Publishers

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

47,31
Vergelijk 2 shops 2 shops

OmniScriptum

Logical Reasoning: Logic, Deductive Reasoning, Inductive Reasoning

41,32
Vergelijk 2 shops 2 shops

OmniScriptum

Turnstile (Symbol): Mathematical Logic, Computer Science

44,19
Vergelijk 2 shops 2 shops

Leopold Classic Library

The Mathematical Analysis of Logic; Being an Essay Towards a Calculus Deductive Reasoning

9,95
Vergelijk 2 shops 2 shops
Uitgelichte Keuze
95,35
Naar shop