Logic as algebra

Detalles Bibliográficos
Autor principal: Halmos, Paul R. 1916-2006 (-)
Otros Autores: Givant, Steven R.
Formato: Libro
Idioma:Inglés
Publicado: [Washington, D.C.] : Mathematical Association of America 1998.
Colección:The Dolciani mathematical expositions ; 21.
Materias:
Ver en Universidad de Navarra:https://unika.unav.edu/discovery/fulldisplay?docid=alma991005110579708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es
Tabla de Contenidos:
  • 1. What is logic? 2. Propositional calculus 3. Boolean algebra 4. Boolean universal algebra 5. Logic via algebra 6. Lattices and infinite operations 7. Monadic predicate calculus.