SO(∀∃*) Sentences and Their Asymptotic Probabilities

Rosen, Eric; Tyszkiewicz, Jerzy

Weinheim / Wiley-VCH (2000) [Journal Article]

Mathematical logic quarterly : MLQ
Volume: 46
Issue: 4
Page(s): 435-452

Identifier