The Theory of Logical Types (Routledge Revivals).
This reissue, first published in 1971, provides a brief historical account of the Theory of Logical Types; and describes the problems that gave rise to it, its various different formulations (Simple and Ramified), the difficulties connected with each, and the criticisms that have been directed again...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Copi, Irving M. |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Hoboken :
Taylor & amp; Francis,
2011.
|
Colección: | Routledge revivals.
|
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
A transfinite type theory with type variables
por: Andrews, P. B. (Peter Bruce), 1937-
Publicado: (1965) -
Twenty Five Years of Constructive Type Theory.
por: Sambin, Giovanni
Publicado: (1998) -
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 /
Publicado: (1998) -
Categorical logic and type theory /
por: Jacobs, Bart
Publicado: (1999) -
The art of type and typography : explorations in use and practice /
por: Krysinski, Mary Jo
Publicado: (2018)