Combinatories, complexity, and logic :proceedings of DMTCS'96 D.S. Bridges... [et al].

Bibliographic Details
Main Author:	DMTC '06 (1996) : Auckland, N.Z.)
Other Authors:	Bridges, Douglas S., 1945
Format:	Book
Published:	Berlin ; Springer c1997
Subjects:	Computational complexity > congresses. Logic, Symbolis and mathematica > Congresses.