0 Mėgstami
0Krepšelis

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

Šiuo metu neparduodama

Informacija

Autorius: William M. Farmer
Leidėjas: Birkhäuser
Išleidimo metai: 2025
Knygos puslapių skaičius: 348
ISBN-13: 9783031853517
Formatas: Knyga kietu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas“

Būtina įvertinti prekę

Goodreads reviews for „Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas“