Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics - Rybakov, V.V. (Krasnoyarsk University, Mathematics Department, Krasnoyarsk, Russia) - Livros - Elsevier Science & Technology - 9780444895059 - 14 de março de 1997
Caso a capa e o título não sejam correspondentes, considere o título como correto

Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics 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

Ainda não avaliado

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  

Mais da mesma editora