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 - 9783031211140 - 3 januari 2024
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 2023 edition

Pris
SEK 639

Beställningsvara

Förväntad leverans 7 - 15 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

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

Finns även som:

295 pages, 3 Illustrations, color; 7 Illustrations, black and white; XIV, 295 p. 10 illus., 3 illus.

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 3 januari 2024
ISBN13 9783031211140
Utgivare Birkhauser Verlag AG
Antal sidor 295
Mått 234 × 156 × 20 mm   ·   488 g
Språk Tyska  

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