10% OFF

Fragments Of First-Order Logic

Book eBook
language: english
Publisher: Oxford University Press, March of 2023 ‧
182,50€
10% OFF CARD
free shipping
Sell ​​your book
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

Property Description
ISBN: 9780192867964
Publisher: Oxford University Press
Release Date: March of 2023
Language: English
Dimensions: 156 x 234 x 20 mm
Cover: Hardcover
Pages: 672
Format: Book
Collection: Oxford Logic Guides
Categories: Books in English > Science > Mathematics
Books in English > Others
EAN: 9780192867964

BOOKS FROM THE SAME COLLECTION