Sökresultat - "Mathematical logic."

Cornerstones of undecidability av Rozenberg, Grzegorz

An introduction to non-classical logic av Priest, Graham

An introduction to non-classical logic av Priest, Graham

Publisher description
Table of contents

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

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

Degrees of unsolvability. av Sacks, Gerald E.

Logics with aggregate operators. av Hella, Lauri

Deducibility and decidability av Gill, R.R. Rockingham

Deducibility and decidability av Rockingham, Gill R. R.

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