Search Results - "Mathematical logic."

Refine Results
  1. 1

    Cornerstones of undecidability by Rozenberg, Grzegorz

    Published 1994
    Book


    Cover Image
  2. 2

    An introduction to non-classical logic by Priest, Graham

    Published 2001
    Book


    Cover Image
  3. 3

    An introduction to non-classical logic by Priest, Graham

    Published 2001
    Publisher description
    Table of contents
    Book


    Cover Image
  4. 4

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

    Published in Journal of the ACM
    Article


    Cover Image
  5. 5

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

    Published 1978
    Book


    Cover Image
  6. 6

    Degrees of unsolvability. by Sacks, Gerald E.

    Published 1963
    Book


    Cover Image
  7. 7

    Logics with aggregate operators. by Hella, Lauri

    Published in Journal of the ACM
    Article


    Cover Image
  8. 8

    Deducibility and decidability by Gill, R.R. Rockingham

    Published 1990
    Book


    Cover Image
  9. 9

    Deducibility and decidability by Rockingham, Gill R. R.

    Published 1990
    Book


    Cover Image
  10. 10

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

    Published in Journal of the ACM
    Article


    Cover Image

Search Tools: