Proof Reconstruction in Classical and Non-Classical Logics
Author | : Stephanie Schmitt |
Publisher | : IOS Press |
Total Pages | : 236 |
Release | : 2000 |
ISBN-10 | : 1586031295 |
ISBN-13 | : 9781586031299 |
Rating | : 4/5 (95 Downloads) |
Book Synopsis Proof Reconstruction in Classical and Non-Classical Logics by : Stephanie Schmitt
Download or read book Proof Reconstruction in Classical and Non-Classical Logics written by Stephanie Schmitt and published by IOS Press. This book was released on 2000 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt: