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 |