×

zbMATH — the first resource for mathematics

The observational predicate calculus and complexity of computations. (English) Zbl 0311.02021

MSC:
03B10 Classical first-order logic
03B99 General logic
68Q25 Analysis of algorithms and problem complexity
03D10 Turing machines and related notions
08B99 Varieties
03C68 Other classical first-order model theory
PDF BibTeX XML Cite
Full Text: EuDML