Model and Proof Theory of Constructive ALC

Model and Proof Theory of Constructive ALC

  • Stephan Scheele
Publisher:University of Bamberg PressISBN 13: 9783863093204ISBN 10: 3863093208

Paperback & Hardcover deals ―

Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹239Book ChorGOCrosswordGODC BooksGO

e-book & Audiobook deals ―

Amazon India GOGoogle Play Books GOAudible GO

* Price may vary from time to time.

* GO = We're not able to fetch the price (please check manually visiting the website).

Share this with your friends:

Know about the book -

Model and Proof Theory of Constructive ALC is written by Stephan Scheele and published by University of Bamberg Press. It's available with International Standard Book Number or ISBN identification 3863093208 (ISBN 10) and 9783863093204 (ISBN 13).

Stephan Scheele

More books from the author

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now