opac header image

Hybrid Logic and its Proof-Theory

Hybrid Logic and its Proof-Theory - Dordrecht Springer Netherlands 2011.

Mathematics and Statistics (Springer-11649)

9789400700024, 978-94-007-0002-4


Logic, Symbolic and mathematical
Computer science
Logic
Logic
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Philosophy
Philosophy (General)

160, / 23
© 2024 Copyright: Customised and Maintained by Central Library NISER

Central Library, NISER Library Building, PO-Jatni, Khurda, Odisha - 752050, India | Email: libniser@niser.ac.in Phone: +91-674-2494171

Powered by Koha