Cargando…
Completeness theory for propositional logics /
The book develops the theory of one of the most important notions in the methodology of formal systems. Particularly, completeness plays an important role in propositional logic where many variants of the notion have been defined. Global variants of the notion mean the possibility of getting all cor...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Basel ; Boston :
Birkhäuser,
©2008.
|
| Colección: | Studies in universal logic.
|
| Temas: | |
| Acceso en línea: | Texto completo |