0-1 Laws and Decision Problems for Fragments of Second-order Logic

Front Cover
Computer Research Laboratory, University of California, Santa Cruz, 1989 - Logic, Symbolic and mathematical - 33 pages
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Common terms and phrases

Bibliographic information