Symbolic Logic
Detalles de publicación: United of States America : Dover Publications, 1932Edición: 2daDescripción: 518 páginasISBN:- fcnm1543
- 511.3I/L54
Contenidos:
1.Introduction. 2.The Boogle-Schroder algebra. 3.The logix of terms. 4.The two-valued algebra 5.Extension of the Two-Valued algebra to propositional functions. 6.The logistic calculus of unanalyzed propositions. 7.Truth –Value systems and the matrix method. 8.Implication and deducibility. 9.The general theory of propositions. 10.Propositions of ordinary discourse. 11.Postulational technique: deduction. 12.Postulational technique: deducibility. 13.The logical paradoxes.
| Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Notas | Código de barras | |
|---|---|---|---|---|---|---|
| Libro | Biblioteca Especializada FCNM Tercer Piso | 511.3I/L54 (Navegar estantería(Abre debajo)) | Disponible | Externo | FCNM2630 |
Navegando Biblioteca Especializada FCNM estanterías, Ubicación en estantería: Tercer Piso Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| 511.3F/H11 (S.C) Immersions tendues de surfaces dans E3 | 511.3I/C76 Introduction to Elementary Functions | 511.3I/K65 Mathematical Logic and the Foundations of Mathematics | 511.3I/L54 Symbolic Logic | 511.3I/Z19 Elementary Mathematics | 511.3P/D35 Métodos numéricos para escoamentos em alta velocidade | 511.42P/B48 (S.C) Geometria de Poliedros |
1.Introduction. 2.The Boogle-Schroder algebra. 3.The logix of terms. 4.The two-valued algebra 5.Extension of the Two-Valued algebra to propositional functions. 6.The logistic calculus of unanalyzed propositions. 7.Truth –Value systems and the matrix method. 8.Implication and deducibility. 9.The general theory of propositions. 10.Propositions of ordinary discourse. 11.Postulational technique: deduction. 12.Postulational technique: deducibility. 13.The logical paradoxes.
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.