Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Priser från
757,00

Utvalda

JäMFöR ALLA WEBBUTIKER (1)

Beskrivning

Amazon Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (1)

Shop
Pris
Amazon Logga
757,00 kr
Til butik
Beskrivning (1)

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Produktspecifikationer

Märke Birkhauser
EAN
  • 9783031853517

Independently Published

Foundation of Mathematical Reasoning: Logic, Proofs and Set Theory

301,00 kr
Jämför 2 butiker 2 Butiker

Independently Published

An introduction to Propositional Logic and Set Theory: Foundations of Mathematical Reasoning....

113,20 kr
Jämför 2 butiker 2 Butiker

Independently Published

concepts of Mathematical Logic and Set Theory

200,84 kr
Jämför 2 butiker 2 Butiker

Independently Published

Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL 2

170,08 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
757,00 kr
Til butik