Bounded Variable Logic and Counting : A Sudy in Finite Models

Detalles Bibliográficos
Autor principal: OTTO, Martin (-)
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

Ejemplares similares