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

Priser från
1.277,10

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
Related Products Relaterade produkter
?>
Next
Previous

Jämför webbutiker (1)

Shop
Pris
Amazon Logga
1.277,10 kr
Til butik
Beskrivning (1)

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

Produktspecifikationer

Märke Birkhauser
EAN
  • 9783031853517

Priser uppdaterades senast:

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

Cambridge University Press

Higher Order Logic and Type Theory

258,03 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
1.277,10 kr
Til butik