Matrix logic /
In this pioneering work, the author develops a fundamental formulation of logic in terms of theory of matrices and vector spaces. The discovery of matrix logic represents a landmark in the further formalization of logic. For the first time the power of direct mathematical computation is applied to t...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Stern, August, 1945- |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam ; New York : New York, N.Y., U.S.A. :
North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier,
1988.
|
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Publicado: (1987) -
Elements of mathematical logic (Model theory)
por: Kreisel, Georg, et al.
Publicado: (1967) -
A survey of mathematical logic /
Publicado: (1963) -
Realizability : an introduction to its categorical side /
por: Oosten, Jaap van
Publicado: (2008) -
Mathematical interpretation of formal systems
Publicado: (1955)