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
$ 218,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de jun. - 9 de jul.
Añadir a tu lista de deseos de iMusic

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  

Mere med samme udgiver