Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics - Rybakov, V.V. (Krasnoyarsk University, Mathematics Department, Krasnoyarsk, Russia) - Kirjat - Elsevier Science & Technology - 9780444895059 - perjantai 14. maaliskuuta 1997
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics 1. Painos

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

Hinta
R$ 1.358,39

Tilattu etävarastosta

Arvioitu toimitus to 21. elo - ma 1. syys

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics 1. Painos

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä perjantai 14. maaliskuuta 1997
ISBN13 9780444895059
Tuottaja Elsevier Science & Technology
Sivujen määrä 616
Mitta 160 × 230 × 30 mm   ·   1,04 kg
Kieli English  

Katso kaikki joka sisältää Rybakov, V.V. (Krasnoyarsk University, Mathematics Department, Krasnoyarsk, Russia) ( Esim. Hardcover Book )