Computability and Logic /
Guardado en:
| Autor principal: | |
|---|---|
| Otros autores: | |
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Cambridge, Inglaterra :
Cambridge University,
1996, c1989
|
| Edición: | 3a edición |
| Temas: | |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
Ejemplares similares: Computability and Logic /
- Constructivity and Computability in Historical and Philosophical Perspective /
- An Investigation of the Laws of Thought : On which Are Founded the Mathematical Theories of Logic and Probabilities /
- An Investigation of the Laws of Thought : On which Are Founded the Mathematical Theories of Logic and Probabilities /
- Logic for computer science : foundations of automatic theorem proving /
- Logic : the theory of formal inference /
- Elementary Logic /