Cargando…

Natural Deduction, Hybrid Systems and Modal Logics

Detalles Bibliográficos
Autor principal: Indrzejczak, Andrzej
Lenguaje:eng
Publicado: Springer 2010
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-90-481-8785-0
http://cds.cern.ch/record/1501076