0Mi Bolsa (0)

Inicio

 

 

Dover Publications 0486683702

FIRST-ORDER LOGIC

Autor: Smullyan, Raymond M.

Editorial: Dover Publications

First-Order Logic

Disponibilidad: En existencia

$ 214

Vista General Rápida

This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. Presented in tableau format, the material covers propositional and first-order logic. 144 illustrations.
Detalles
This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. Presented in tableau format, the material covers propositional and first-order logic. 144 illustrations.
Información Adicional
Nombre FIRST-ORDER LOGIC
No. Ref. (SKU) 9780486683706
Editorial Dover Publications
Género N/A
Autor Smullyan, Raymond M.
ISBN 0486683702
EAN 9780486683706
Idioma Inglés
Año 1995
Formatos Rústico
Número de páginas 176
Edición N/A
Novedad N/A
Código BMG N/A

Opiniones y Calificaciones

Sé el primero en escribir un comentario

Solo usuarios registrados pueden escribir comentarios. Por favor, inicia sesión o regístrate.