HANDBOOK of logic in computer science.
Guardado en:
| Otros Autores: | Abramsky, S., ed, Gabbay, Dov M., ed, Maibaum, T.S.E., ed |
|---|---|
| Formato: | Libro |
| Lenguaje: | Español |
| Publicado: |
Oxford :
Clarendon Press,
1999.
|
| Colección: | Handbooks of logic in computer science
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Ejemplares similares
-
Mathematical logic for computer science.
por: Ben-Ari, M., 1948-
Publicado: (1993) -
The deductive foundations of computer programming.
por: Manna, Zohar
Publicado: (1993) -
Logic as algebra.
por: Halmos, Paul Richard, 1916-
Publicado: (1998) -
Intermediate logic.
por: Bostock, David
Publicado: (1997) -
Introduction to symbolic logic and its applications.
por: Carnap, Rudolf
Publicado: (1958)