Cargando…
Mathematical logic: foundations for information science
This book presents the basic principles and formal calculus of mathematical logic. It covers core contents, extensions and developments of classical mathematical logic, and it offers formal proofs and concrete examples for all theoretical results.
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Birkhäuser
2010
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2283350 |