Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics - Rybakov, V.V. (Krasnoyarsk University, Mathematics Department, Krasnoyarsk, Russia) - Bøger - Elsevier Science & Technology - 9780444895059 - 14. marts 1997
Ved uoverensstemmelse mellem cover og titel gælder titel

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

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

Pris
DKK 1.742

Bestilles fra fjernlager

Forventes klar til forsendelse 11. - 18. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

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

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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 14. marts 1997
ISBN13 9780444895059
Forlag Elsevier Science & Technology
Antal sider 616
Mål 160 × 230 × 30 mm   ·   1,04 kg
Sprog Engelsk  

Se alt med Rybakov, V.V. (Krasnoyarsk University, Mathematics Department, Krasnoyarsk, Russia) ( f.eks. Hardcover bog )