Capa do artigo Fragments Of First-Order Logic
10% OFF

Fragments Of First-Order Logic eBook

by Ian Pratt-Hartmann
Book eBook
language: english
Publisher: OUP Oxford, April of 2023 ‧
119,24€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
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?

Fragments Of First-Order Logic

by Ian Pratt-Hartmann

Property Description
ISBN: 9780192693891
Publisher: OUP Oxford
Release Date: April of 2023
Language: English
Format: eBook
Collection: Oxford Logic Guides
Categories: eBooks in English > Science > Mathematics
EAN: 9780192693891

BOOKS FROM THE SAME COLLECTION