2 E-böcker av 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
Engelska
€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 …
PDF
Engelska
DRM
€98.23
