≈ Lectures on Logic And Computation Esslli 2010 Copenhagen Denmark August 2010 Esslli 2011 Ljubljana Slovenia August 2011 Selected Lecture Notes
New Directions in Logic, Language and Computation: ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers By Gwendoline Fox, Juliette Thuilier (auth.), Daniel Lassiter, Marija Slavkovik (eds.) 2012 | 250 Pages | ISBN: 364231466X | PDF | 4 MB
Errors of Reasoning. Naturalizing the Logic of Inference (Studies in Logic) by John Woods English | July 24, 2013 | ISBN: 1848901143 | 620 pages | PDF | 7.78 Mb
Gabriele Puppis, "Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems" 2010 | pages: 213 | ISBN: 3642118801 | PDF | 3,2 mb
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems By Gabriele Puppis (auth.) 2010 | 206 Pages | ISBN: 3642118801 | PDF | 4 MB