Introduction to metalogic
with an appendix on type-theoretical extensional and intensional logic
Edición de la obra Introduction to metalogic
| Autor | Imre Ruzsa |
|---|---|
| Editorial | Áron Publishers |
| Fecha de publicación | 1997 |
| Lugar | Budapest |
| Idioma | inglés |
| Páginas | 182 |
| ISBN-13 | 9789638550453 |
| ISBN-10 | 9638550457 |
| OCLC | 37703996 |
| Número de Cutter | R987i |