Rezultaty - "Mathematical logic."

Cornerstones of undecidability od Rozenberg, Grzegorz

An introduction to non-classical logic od Priest, Graham

An introduction to non-classical logic od Priest, Graham

Publisher description
Table of contents

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

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

Degrees of unsolvability. od Sacks, Gerald E.

Logics with aggregate operators. od Hella, Lauri

Deducibility and decidability od Gill, R.R. Rockingham

Deducibility and decidability od Rockingham, Gill R. R.

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