Compartir
R-Calculus, vi: Finite Injury Priority Method (Perspectives in Formal Induction, Revision and Evolution) (en Inglés)
Wei Li; Yuefei Sui (Autor)
·
Springer
· Tapa Dura
R-Calculus, vi: Finite Injury Priority Method (Perspectives in Formal Induction, Revision and Evolution) (en Inglés) - Wei Li; Yuefei Sui
Más barato Libro Nuevo
Importado
Envío: 24 a 29 días háb.
$ 309.11$ 131.49
Más rápido Libro Nuevo
Origen: Estados Unidos
Envío: 7 a 9 días háb.
$ 196.86$ 185.28
Costos de importación incluídos en el precio ✅
Reseña del libro "R-Calculus, vi: Finite Injury Priority Method (Perspectives in Formal Induction, Revision and Evolution) (en Inglés)"
This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post three-valued, B2 2-valued and L4-valued first-order logics, and extend the method to infinite injury priority method and 0"-method for default logic to produce pseudo-extensions of a default theory, corresponding to different R-calculi. Finite injury priority method and tree constructions are discussed in this book. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Dura.
✓ Producto agregado correctamente al carro, Ir a Pagar.