The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems)”

Why semisets?

Petr Hájek (1973)

Commentationes Mathematicae Universitatis Carolinae

Similarity: