Natural deduction : a proof-theoretical study.
Guardado en:
| Autor Principal: | Prawitz, Dag. |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Stockholm [etc.] :
Almqvist & Wiksell,
1965.
|
| Series: | Acta Universitatis Stockholmiensis. Stockholm studies in philosophy ;
3 |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Arnold Schönberg y Roberto Gerhard : correspondencia /
por: Gerhard, Robert, 1896-1970,
Publicado: (2024) -
Natural deduction : the logical basis of axiom systems /
por: Anderson, John Mueller.
Publicado: (1962) -
Deductive logic /
por: Leblanc, Hugues, 1924-
Publicado: (1972) -
Deductive databases and logic programming /
por: Das, Subrata Kumar.
Publicado: (1992) -
Deductive logic and descriptive language /
por: Harrison, Frank R.
Publicado: (1969)
