Boekstra.nl - Pratt-Hartmann, Ian (Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole, Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole)

Fragments of First-Order Logic

Pratt-Hartmann, Ian (Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole, Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole)

Omschrijving

Pratt-Hartmann considers for which fragments of first-order logic there is an effective method for determining satisfiability or finite satisfiability. Furthermore, he asks, if these problems are decidable for some fragment, what is their computational complexity?

In de winkelwagen Bestel vandaag,
ontvang het met 5 werkdagen. Wenslijst Stel een vraag

In de winkelwagen 6 werkdagen Wenslijst Stel een vraag

Gratis verzending vanaf
€ 19,95 binnen Nederland

Schrijver: Pratt-Hartmann, Ian (Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole, Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole)
Titel: Fragments of First-Order Logic
Uitgever: Oxford University Press

Jaar: 2022
Taal: Engels
Pagina's: 672
Gewicht: 1240 gr

EAN: 9780192867964
Afmetingen: 166 x 242 x 37 mm
Bindwijze: Gebonden

U ontvangt bij ons altijd de laatste druk!

Fragments of First-Order Logic

Pratt-Hartmann, Ian (Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole, Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole)

Omschrijving

Rubrieken

Rubrieken