Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics - Rybakov, V.V. (Krasnoyarsk University, Mathematics Department, Krasnoyarsk, Russia) - Books - Elsevier Science & Technology - 9780444895059 - March 14, 1997
In case cover and title do not match, the title is correct

Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics 1st edition

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

Price
Mex$ 4,271.40

Ordered from remote warehouse

Expected delivery Aug 4 - 13
Add to your iMusic wish list

Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics 1st edition

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

Media Books     Hardcover Book   (Book with hard spine and cover)
Released March 14, 1997
ISBN13 9780444895059
Publishers Elsevier Science & Technology
Pages 616
Dimensions 160 × 230 × 30 mm   ·   1.04 kg
Language English