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

Priser från
660,10

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

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 (2)

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

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

Produktspecifikationer

Märke Birkhauser
EAN
  • 9783031853548

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

286,62 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
660,10 kr
Til butik