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

Rybakov, V.V. (Krasnoyarsk University, Mathematics Department, Krasnoyarsk, Russia)

Preço
A$ 352,44

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 19 - 28 de ago
Adicione à sua lista de desejos do iMusic

Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics 1º edição

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