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

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

(Bog, Paperback / softback, 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

Matematikkens fundament 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 Paperback / softback
Sprog Engelsk
Udgave 2023 ed.
Udgivelsesdato 03-01-2024
Første udgivelsesår 2024
Serie Computer Science Foundations and Applied Logic
Illustrationer 3 Illustrations, color; 7 Illustrations, black and white; XIV, 295 p. 10 illus., 3 illus. in color.
Originalsprog Switzerland
Sideantal 295
Indbinding Paperback / softback
Forlag Birkhauser Verlag AG
Sideoplysninger 295 pages, 3 Illustrations, color; 7 Illustrations, black and white; XIV, 295 p. 10 illus., 3 illus.
Mål 156 x 234 x 20
ISBN-13 / EAN-13 9783031211140