অনুসন্ধান ফলাফলগুলি - "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