A general algebraic semantics for deductive systems /
Guardado en:
| Autor Principal: | Font, Josep Maria, 1954- |
|---|---|
| Otros Autores: | Jansana, Ramón. |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Barcelona :
Department of Logic, History and Philosophy of Science,
Feb. 14, 1993.
|
| Edición: | Preliminary version. |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
A general algebraic semantics for senten[t]ial logics /
por: Font, Josep Maria, 1954-
Publicado: (1996) - Preliminary version. -
Deductive logic /
por: Leblanc, Hugues, 1924-
Publicado: (1972) - Preliminary version. -
Natural deduction : the logical basis of axiom systems /
por: Anderson, John Mueller.
Publicado: (1962) - Preliminary version. -
Natural deduction : a proof-theoretical study.
por: Prawitz, Dag.
Publicado: (1965) - Preliminary version. -
Algebraic approaches to program semantics /
por: Manes, Ernest G., 1943-
Publicado: (1986) - Preliminary version.
