Teorema Ob Ustranimosti Secheniya Dlya Gpcontpcomp: Sekventsial'nogo Ischisleniya, Aksiomatiziruyushchego Peresechenie Paraneprotivorechivoy Logiki ... S Ee Parapolnym Naparnikom - Nataliya Znamenskaya - Books - LAP LAMBERT Academic Publishing - 9783843322348 - March 31, 2011
In case cover and title do not match, the title is correct

Nataliya Znamenskaya
Teorema Ob Ustranimosti Secheniya Dlya Gpcontpcomp: Sekventsial'nogo Ischisleniya, Aksiomatiziruyushchego Peresechenie Paraneprotivorechivoy Logiki ... S Ee Parapolnym Naparnikom Russian edition

Price
€ 40.49

Ordered from remote warehouse

Expected delivery Nov 26 - Dec 4
Christmas presents can be returned until 31 January
Get notified about new Nataliya Znamenskaya releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Rassmatrivaemaya logika PContPComp prinadlezhit logicheskomu intervalu mezhdu logikoy Par i mnozhestvom vsekh formul. Ustanovleno, chto logika PContPComp yavlyaetsya peresecheniem paraneprotivorechivoy logiki PCont Batensa- Rozonoera s parapolnym naparnikom posledney. Predstavlyaetsya, chto logika PContPComp - naimenee izuchennaya logika iz ukazannogo intervala. Ona yavlyaetsya rasshireniem naibolee izvestnoy paranormal'noy logiki Par, kotoruyu v svoe vremya otkrylo neskol'ko chelovek (Bredi, Popov, Avron). Vsego netrivial'nykh rasshireniy logiki Par chetyre ? paranormal'naya logika PContPComp, paraneprotivorechivaya logika PCont, parapolnaya logika PComp i klassicheskaya logika Cl. V rabote dano podrobnoe dokazatel'stvo teoremy ob ustranimosti secheniya dlya predlozhennogo V. M. Popovym sekventsial'nogo ischisleniya, aksiomatiziruyushchego etu logiku PContPComp. Vpervye izuchaetsya deduktivnaya sistema sekventsial'nogo ischisleniya, aksiomatiziruyushchego dannuyu logiku. Ustranimost' secheniya v dannom ischislenii znachitel'no oblegchaet protseduru poiska dokazatel'stva, a takzhe pozvolyaet dat' sintaksicheskuyu razreshayushchuyu protseduru.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 31, 2011
ISBN13 9783843322348
Publishers LAP LAMBERT Academic Publishing
Pages 120
Dimensions 150 × 7 × 225 mm   ·   197 g
Language German  

See all of Nataliya Znamenskaya