SO(∀∃*) Sentences and Their Asymptotic Probabilities
Rosen, Eric; Tyszkiewicz, Jerzy
Weinheim : Wiley-VCH (2000)
Fachzeitschriftenartikel
In: Mathematical logic quarterly : MLQ
Band: 46
Heft: 4
Seite(n)/Artikel-Nr.: 435-452
Identifikationsnummern
- DOI: 10.1002/1521-3870(200010)46:4<435::AID-MALQ435>3.0.CO;2-E
- RWTH PUBLICATIONS: RWTH-CONV-078594