Language proof and logic [recurso electrónico] Gerard Allwein ... [et al.] por
Tipo de material: Archivo de ordenador; Formato:
reformateado digital
electrónico ; Audiencia:
General;
Detalles de publicación: Stanford, Calif. : Leland Stanford Junior Universrity, 2000
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General BC 61 B38.2000.