Logical definability of counting functions

Grädel, Erich; Compton, Kevin J.

San Diego, Calif. [u.a.] : Elsevier (1996)
Journal Article

In: Journal of computer and system sciences
Volume: 53
Page(s)/Article-Nr.: 283-297