Bounded arithmetic

Samuel R. Buss
Bok · Engelsk · 1986

Utgitt	Napoli : Bibliopolis , c1986
Omfang	221 s.
Emner	Computational complexity Constructive mathematics Bevisføring (Matematikk) Matematisk logikk
ISBN	8870881504