Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical... (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Mængdelære
  6. Matematisk datateori
  7. Videnskabsfilosofi
  8. Simple Type Theory: A Practical Logic for Expressing and...

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

(Bog, Hardback, Engelsk)
Forfatter: William M. Farmer
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Forlag: Birkhauser Verlag AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk datateori Matematisk logik Mængdelære Videnskabsfilosofi
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Læsernes anmeldelser (0)

Alle detaljer

Forlag Birkhauser Verlag AG
Forfatter William M. Farmer
Type Bog
Format Hardback
Sprog Engelsk
Udgave Second Edition 2025
Udgivelsesdato 24-04-2025
Første udgivelsesår 2025
Serie Computer Science Foundations and Applied Logic
Illustrationer 5 Illustrations, color; 6 Illustrations, black and white
Originalsprog Switzerland
Sideantal 319
Indbinding Hardback
Forlag Birkhauser Verlag AG
Sideoplysninger 319 pages, 5 Illustrations, color; 6 Illustrations, black and white
Mål 244 x 161 x 26
ISBN-13 / EAN-13 9783031853517