Bounded arithmetic
By: Samuel R. Buss.
Series: Studies in proof theory ;; 3
Publisher: Bibliopolis
Published: 1986
Place of publication: Napoli
Language: eng
Number of pages: 221
Subjects: Constructive mathematics.; Computational complexity.
Notes: Bibliography: p. [215]-216.
Includes indexes.