Recomienda este artículo a tus amigos:
Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics Rybakov, V.V. (Krasnoyarsk University, Mathematics Department, Krasnoyarsk, Russia) 1.º edición
Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics
Rybakov, V.V. (Krasnoyarsk University, Mathematics Department, Krasnoyarsk, Russia)
Aims to present the fundamental theoretical results concerning inference rules in deductive formal systems. This book focuses on admissible or permissible inference rules; the derivability of the admissible inference rules; the structural completeness of logics; and the bases for admissible and valid inference rules.
616 pages
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 14 de marzo de 1997 |
| ISBN13 | 9780444895059 |
| Editores | Elsevier Science & Technology |
| Páginas | 616 |
| Dimensiones | 160 × 230 × 30 mm · 1,04 kg |
| Lengua | Inglés |