𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Differentiation and integration of logical functions

✍ Scribed by A. M. Morozov

Publisher
Springer US
Year
1979
Tongue
English
Weight
648 KB
Volume
14
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Logical Definability of Counting Functio
Logical Definability of Counting Functions
✍ Kevin J. Compton; Erich GrΓ€del πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 797 KB

The relationship between counting functions and logical expressibility is explored. The most well studied class of counting functions is \*P, which consists of the functions counting the accepting computation paths of a nondeterministic polynomial-time Turing machine. For a logic L, \*L is the class