Bounded Variable Logic and Counting : A Sudy in Finite Models
| Autor principal: | |
|---|---|
| Formato: | Otros |
| Publicado: |
Berlin
Springer
1996
|
| Colección: | Lecture Notes in Logic
9 |
| Materias: | |
| Ver en Catálogo Colectivo de las Bibliotecas Agustinianas de España: | http://catalogo.bibliotecasagustinianas.es/cgi-bin/koha/opac-detail.pl?biblionumber=362066 |
| Descripción Física: | IX, 183 p. 24 cm |
|---|---|
| ISBN: | 9783540620372 |
