Language, proof, and logic
| Autor principal: | |
|---|---|
| Otros Autores: | , , , |
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Stanford (California) : New York [etc.] :
CSLI Publications ; Seven Bridges Press
2000
|
| Materias: | |
| Ver en Universidad de Navarra: | https://unika.unav.edu/discovery/fulldisplay?docid=alma991001102549708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es |
| Descripción Física: | XI, 587 p. : il. ; 25 cm + 1 disco compacto (4 3/4 in.) + LPL Software manual (52 p.) |
|---|---|
| Formato: | Sistemas requeridos: "Macintosh or Windows computer ; Macintosh system 8.1 or higher and MRJ 2.1.2 or higher ; Windows 95, 98 or Windows NT 4.0, a pentium class processor, and JRE 1.1.8 or higher" |
| ISBN: | 9781889119083 |
