Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] / by Andrzej Indrzejczak.
By: Indrzejczak, Andrzej.
Contributor(s): SpringerLink (Online service).
Material type: BookSeries: Trends in Logic ; 30.Publisher: Dordrecht : Springer Netherlands, 2010Description: digital.ISBN: 9789048187850.Subject(s): Philosophy (General) | Logic | Computer science | Artificial intelligence | Algorithms | Logic, Symbolic and mathematical | Philosophy | Logic | Mathematical Logic and Foundations | Mathematical Logic and Formal Languages | Algorithms | Artificial Intelligence (incl. Robotics)DDC classification: 160 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.