𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Tour through Mathematical Logicby Robert S. Wolf

✍ Scribed by Review by: Wilfrid Hodges

Book ID
124944562
Publisher
Society for Industrial and Applied Mathematics
Year
2007
Tongue
English
Weight
319 KB
Volume
49
Category
Article
ISSN
0036-1445

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The mathematician's brain: A personal to
The mathematician's brain: A personal tour through the essentials of mathematics
✍ David Ruelle πŸ“‚ Library πŸ“… 2007 πŸ› Princeton University Press 🌐 English βš– 830 KB

The Mathematician's Brain poses a provocative question about the world's most brilliant yet eccentric mathematical minds: were they brilliant because of their eccentricities or in spite of them? In this thought-provoking and entertaining book, David Ruelle, the well-known mathematical physicist who

A guided tour through oriented matroid a
A guided tour through oriented matroid axioms
✍ Achim Bachem; Walter Kern πŸ“‚ Article πŸ“… 1993 πŸ› Institute of Applied Mathematics, Chinese Academy 🌐 English βš– 523 KB
The annotated Turing: A guided tour thro
The annotated Turing: A guided tour through Alan Turing's historic paper
✍ Charles Petzold πŸ“‚ Library πŸ“… 2008 πŸ› Wiley 🌐 English βš– 3 MB

**Programming Legend Charles Petzold unlocks the secrets of the extraordinary and prescient 1936 paper by Alan M. Turing Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be computable , crea