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
- DOI: 10.1002/1521-3870(200010)46:4<435::AID-MALQ435>3.0.CO;2-E
- REPORT NUMBER: RWTH-CONV-078594