Model and Proof Theory of Constructive ALC
Download or Read eBook Model and Proof Theory of Constructive ALC PDF 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.
| 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
Book excerpt:
