Αποτελέσματα αναζήτησης - "Mathematical logic."

Cornerstones of undecidability από Rozenberg, Grzegorz

An introduction to non-classical logic από Priest, Graham

An introduction to non-classical logic από Priest, Graham

Publisher description
Table of contents

Deciding first-order properties of locally tree-decomposable structures. από Frick, Markus

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

Degrees of unsolvability. από Sacks, Gerald E.

Logics with aggregate operators. από Hella, Lauri

Deducibility and decidability από Gill, R.R. Rockingham

Deducibility and decidability από Rockingham, Gill R. R.

Relational expressive power of constraint query languages. από Benedikt, Michael