TY - BOOK AU - Bridges D S ed. ED - International Conference on Discrete Mathematics and Theoretical Computer Science DMTCS'96 (Dec 1996 : Auckland,New Zealand) ED - International conference on discrete mathematics and theoretical computer science TI - Combinatorics, complexity, and logic: proceedings U1 - 511.6 PY - 1997/// CY - Singapore PB - Springer-Verlag KW - Combinatorial analysis KW - Computational complexity KW - Mathematical logic KW - Symbolic logic ER -