Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic - William M. Farmer - Böcker - Birkhauser Verlag AG - 9783031853517 - 24 april 2025
Om omslag och titel inte matchar är det titeln som gäller

William M. Farmer
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic Second Edition 2025 edition

Pris
SEK 789

Beställningsvara

Förväntad leverans 21 - 29 jan

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Finns även som:

Media Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 24 april 2025
ISBN13 9783031853517
Utgivare Birkhauser Verlag AG
Antal sidor 319
Mått 161 × 244 × 26 mm   ·   646 g
Språk Tyska  

Se alt med William M. Farmer ( t.ex. Inbunden Bok och Pocketbok )