Résultats de la recherche - "Mathematical logic."

Cornerstones of undecidability par Rozenberg, Grzegorz

An introduction to non-classical logic par Priest, Graham

An introduction to non-classical logic par Priest, Graham

Publisher description
Table of contents

Deciding first-order properties of locally tree-decomposable structures. par Frick, Markus

Model theory of fields decidability, and bounds for polynomial ideals par Van Den Dries, L.P.D. (Laurentius Petrus Dignus)

Degrees of unsolvability. par Sacks, Gerald E.

Logics with aggregate operators. par Hella, Lauri

Deducibility and decidability par Gill, R.R. Rockingham

Deducibility and decidability par Rockingham, Gill R. R.

Relational expressive power of constraint query languages. par Benedikt, Michael