Ebooks d'Ian Pratt-Hartmann en PDF

1 Livre(s)
Télécharger le livre : Fragments of First-Order Logic
Ajouter à ma liste d'envies
Fragments of First-Order Logic
Ian Pratt-Hartmann
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 algorithm for determining whether a given formula of first-order logic is...

Editeur : OUP Oxford
Parution : 2023-04-06

PDF

99,62 €