検索結果 - "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