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

Price
$ 217.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 8 - 20
Add to your iMusic wish list

Not rated yet

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  

Mere med samme udgiver