Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics - Rybakov, V.V. (Krasnoyarsk University, Mathematics Department, Krasnoyarsk, Russia) - Libros - Elsevier Science & Technology - 9780444895059 - 14 de marzo de 1997
En caso de que portada y título no coincidan, el título será el correcto

Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics 1.º edición

Precio
$ 217,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 8 - 25 de sep.
Recibe notificaciones sobre nuevos lanzamientos de Rybakov, V.V. (Krasnoyarsk University, Mathematics Department, Krasnoyarsk, Russia)
Añadir a tu lista de deseos de iMusic

Aún no valorado

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  

Más del mismo editor