Entailment [e-book] : the logic of relevance and necessity. Vol. 2 / J. Michael Dunn, Nuel D. Belnap, Alan Ross Anderson.
Tipo de material: TextoSeries Princeton Legacy Library ; 5027Princeton : Princeton University Press, 2017Descripción: 1 recurso electrónico (778 pages) Tipo de medio: computer Tipo de portador: online resourceISBN: 9781400887071 (ebook)Tema(s): Función de Ackermann -- Libros electrónicos | Semántica -- Libros electrónicos | Vinculación (Lógica) -- Libros electrónicosClasificación CDD: LE511 Recursos en línea: Acceso en línea
Contenidos:
Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|
Libro Electrónico | Biblioteca General Libros electrónicos | LE511 A545E 2017 (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible (Acceso Disponible) | 274852-1001 |
The theory of entailment -- Individual quantification -- Ackermann's Strenge implikation -- Semantics -- Proof theory and decidability -- Functions, arithmetic, and other special topics.
2
No hay comentarios en este titulo.