Conte aos seus amigos sobre este item:
Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics Rybakov, V.V. (Krasnoyarsk University, Mathematics Department, Krasnoyarsk, Russia) 1º edição
Preço
R$ 1.168,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 28 de set - 8 de out
Receba avisos sobre novos lançamentos de Rybakov, V.V. (Krasnoyarsk University, Mathematics Department, Krasnoyarsk, Russia)
Adicione à sua lista de desejos do iMusic
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
| 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 | Inglês |