Predicate logics of decidable fragments of arithmetic

From MaRDI portal

Publication:1406364

Jump to:navigation, search

zbMath1025.03060MaRDI QIDQ1406364

Rostislav E. Yavorsky

Publication date: 4 September 2003

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

predicate logic Presburger arithmetic Skolem arithmetic fragments of arithmetic discrete order theory

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

This page was built for publication: Predicate logics of decidable fragments of arithmetic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1406364&oldid=13565995"