Timeline for Introductory book on Logic and Computation
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 18, 2016 at 22:51 | comment | added | Vor | @AntonTrunov: I added the TOC in the answer. Furthermore, I like its general structure: explain concepts at a high level $\to$ give more details in the notes at the end of the chapters $\to$ explain proofs (not a mere list of formulas) on dedicated chapters/sections. | |
| May 18, 2016 at 22:30 | history | edited | Vor | CC BY-SA 3.0 |
Included part of the Introduction
|
| May 18, 2016 at 20:49 | comment | added | Anton Trunov | Could you enhance your answer with a very brief review of Pudlak's book? We know now it doesn't cover FMT and descriptive complexity, but what is nice about what it does cover? | |
| May 18, 2016 at 20:40 | history | edited | Anton Trunov | CC BY-SA 3.0 |
fixed a couple
|
| May 18, 2016 at 19:41 | history | edited | Vor | CC BY-SA 3.0 |
added 98 characters in body
|
| May 18, 2016 at 19:38 | vote | accept | Vor | ||
| May 18, 2016 at 19:34 | vote | accept | Vor | ||
| May 18, 2016 at 19:34 | |||||
| May 18, 2016 at 19:34 | history | answered | Vor | CC BY-SA 3.0 |