Provability, complexity, grammars

Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin
Bok · Engelsk · 1 Lev Beklemišev

Utgitt	Providence, R.I. : American Mathematical Society , 1c999
Omfang	IX, 172 s.
Emner	Computational complexity Mathematical linguistics Modality (Logic) Proof theory
ISBN	0821810782