Zoekresultaten - "Mathematical logic."

Cornerstones of undecidability door Rozenberg, Grzegorz

An introduction to non-classical logic door Priest, Graham

An introduction to non-classical logic door Priest, Graham

Publisher description
Table of contents

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

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

Degrees of unsolvability. door Sacks, Gerald E.

Logics with aggregate operators. door Hella, Lauri

Deducibility and decidability door Gill, R.R. Rockingham

Deducibility and decidability door Rockingham, Gill R. R.

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