
Conte aos seus amigos sobre este item:
Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics 1º edição
Rybakov, V.V. (Krasnoyarsk University, Mathematics Department, Krasnoyarsk, Russia)
Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics 1º edição
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
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 14 de março de 1997 |
ISBN13 | 9780444895059 |
Editoras | Elsevier Science & Technology |
Páginas | 616 |
Dimensões | 160 × 230 × 30 mm · 1,04 kg |
Idioma | English |