作者: Ian Pratt-Hartmann

支持

2 电子书 Ian Pratt-Hartmann

Marco Aiello & Ian Pratt-Hartmann: Handbook of Spatial Logics
A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial logics have attracted much a …
PDF
英语
€309.23
Ian Pratt-Hartmann: Fragments of First-Order Logic
A sentence of first-order logic is satisfiable if it is true in some structure, and finitely satisfiable if it is true in some finite structure. The question arises as to whether there exists an algo …
PDF
英语
DRM
€101.74