Title: Combinatorics, computability, and logic
First published: 2001
Subjects: Combinatorial analysis, Computational complexity, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Logic, symbolic and mathematical
LC classification: QA164 .D62 2001