Herbrandization: Jacques Herbrand, Skolemization, Thoralf Skolem

Prijzen vanaf
41,32

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Herbrandization: Jacques Herbrand, Skolemization, Thoralf Skolem

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

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

Herbrandization: Jacques Herbrand, Skolemization, Thoralf Skolem

Productspecificaties

Merk OmniScriptum
EAN
  • 9786131182525

Betascript Publishers

Skolem Normal Form: Existential Quantification, Automated Theorem Prover, Formula, First order Logic, Thoralf

31,51
Vergelijk 2 shops 2 shops

Primitive Recursive Arithmetic: Arithmetic, Quantification, Thoralf Skolem, Finitism, Foundations of Mathematics, Ordinal...

34,51
Vergelijk 3 shops 3 shops

Thoralf Knobloch

26,01
Meer informatie Meer info

Herbrand Sequent Extraction

49,00
Meer informatie Meer info
Uitgelichte Keuze
41,32
Naar shop