Model and Proof Theory of Constructive ALC
| Author | : Stephan Scheele |
| Publisher | : University of Bamberg Press |
| Total Pages | : 348 |
| Release | : 2015-07-02 |
| ISBN-10 | : 9783863093204 |
| ISBN-13 | : 3863093208 |
| Rating | : 4/5 (04 Downloads) |
Book Synopsis Model and Proof Theory of Constructive ALC by : Stephan Scheele
Download or read book Model and Proof Theory of Constructive ALC written by Stephan Scheele and published by University of Bamberg Press. This book was released on 2015-07-02 with total page 348 pages. Available in PDF, EPUB and Kindle. Book excerpt:
