Gödel's Completeness Theorem: Mathematical Logic, Provability First Order Kurt Gödel, Structure (Mathematical Logic), Model Theory, Proof Soundness Theorem

1/1
Prijzen vanaf
156,00

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Gödel's Completeness Theorem: Mathematical Logic, Provability First Order Kurt Gödel, Structure (Mathematical Logic), Model Theory, Proof Soundness Theorem

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Shop
Prijs
Verzendkosten
Totale prijs
Amazon Logo
156,00
Gratis
156,00
Naar shop
Gratis Shipping Costs
Amazon Marketplace Logo
156,00
Gratis
156,00
Naar shop
Gratis Shipping Costs
Beschrijving (0)

Gödel's Completeness Theorem: Mathematical Logic, Provability First Order Kurt Gödel, Structure (Mathematical Logic), Model Theory, Proof Soundness Theorem

Productspecificaties

Merk OmniScriptum
EAN
  • 9786133936836

OmniScriptum

Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program,...

28,72
Vergelijk 2 shops 2 shops
-3%

First Order Logic and Automated Theorem Proving

87,99
Meer informatie Meer info

First-Order Logic and Automated Theorem Proving

74,43
Meer informatie Meer info

Preiser

Kurt Goedel

9,99
Meer informatie Meer info
Uitgelichte Keuze
156,00
Naar shop