
A Logical Introduction to Proof 2013th Edition
Author(s): Daniel W. Cunningham (Author)
Springer | 2012 | English | 9781461436300 | 372 pages

Author(s): Daniel W. Cunningham (Author)
Springer | 2012 | English | 9781461436300 | 372 pages

Author(s): Tiziano Villa (Author), Nina Yevtushenko (Author), Robert K. Brayton (Author), Alan Mishchenko (Author), Alexandre Petrenko (Author), Alberto Sangiovanni-Vincentelli (Author)
Springer | 2014 | English | 9781489973948 | 328 pages

Author(s): Augustus de Morgan (Author)
Forgotten Books | 2018 | English | 9781333312176 | 76 pages

Author(s): Claudio Calosi (Editor), Pierluigi Graziani
Springer | 2016 | English | 9783319357935 | 398 pages

Author(s): Claudio Calosi (Editor), Pierluigi Graziani
Springer | 2014 | English | 9783319053554 | 398 pages

Author(s): Wolfgang Rautenberg (Author)
Springer | 2009 | English | 9781441912206 | 342 pages

Author(s): Frederick R. Cohen (Author), Thomas J. Lada (Editor), Peter J. May (Editor)
Springer | 1976 | English | 9783540079842 | 508 pages

Author(s): Stefano Crespi Crespi Reghizzi (Author), Luca Breveglieri (Author), Angelo Morzenti (Author)
Springer | 2016 | English | 9781447168683 | 411 pages

Author(s): Jan Krajíček (Author)
Cambridge University | 2011 | English | 9780521154338 | 264 pages

Author(s): John Woods (Author)
Cambridge University | 2002 | English | 9780521009348 | 380 pages