+- HHWForum.hu (https://hhwforum.hu)
+-- Fórum: Letöltések (https://hhwforum.hu/forumdisplay.php?fid=9)
+--- Fórum: E-könyvek (https://hhwforum.hu/forumdisplay.php?fid=57)
+---- Fórum: Külföldi könyvek (https://hhwforum.hu/forumdisplay.php?fid=64)
+---- Téma: Simple Type Theory (2nd Edition) (/showthread.php?tid=295650)
RE: Simple Type Theory (2nd Edition) - book24h - 2025-05-18
![[Kép: 33996b3c0b725ff136aa669a24b3a632.webp]](https://i125.fastpic.org/big/2025/0517/32/33996b3c0b725ff136aa669a24b3a632.webp)
Free Download Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
English | 2025 | ISBN: 3031853512 | 345 Pages | PDF (True) | 6 MB
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic.
Buy Premium From My Links To Get Resumable Support,Max Speed & Support Me
Idézet:A kódrészlet megtekintéséhez be kell jelentkezned, vagy nincs jogosultságod a tartalom megtekintéséhez.Links are Interchangeable - Single Extraction