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

Detalles Bibliográficos
Autor principal:	DMTC '06 (1996) : Auckland, N.Z.)
Otros Autores:	Bridges, Douglas S., 1945
Formato:	Libro
Publicado:	Berlin ; Springer c1997
Materias:	Computational complexity > congresses. Logic, Symbolis and mathematica > Congresses.