Introduction.- Part I Proof Theory.- Sequent systems.- Cut elimination for sequent systems.- Proof-theoretic analysis of logical properties.- Modal and substructural logics.- Deducibility and axiomati ...Cały opis
Introduction.- Part I Proof Theory.- Sequent systems.- Cut elimination for sequent systems.- Proof-theoretic analysis of logical properties.- Modal and substructural logics.- Deducibility and axiomatic extensions.- Part II Algebra in Logic.- Boolean algebras and classical logic.- Many-valued algebras.- Heyting algebras and intuitionistic logic.- Logics and varieties.- Residuated structures.- Modal algebras.- References.- Index.
SZEROKI WYBÓR
Oferujemy ponad milion pozycji anglojęzycznych – od literatury pięknej po specjalistyczną .
DARMOWA WYSYŁKA
Darmowa wysyłka do Paczkomatu od 299 zł.
ATRAKCYJNE CENY
Staramy się by ceny książek były na jak najniższym poziomie, zawsze poniżej ceny zalecanej przez wydawcę. Wszystko po to, by każdy mógł sobie pozwolić na zakup.
14 DNI NA ZWROT
Zakupione u nas książki możesz zwrócić do 14 dni, bez podawania powodów. Wystarczy nas o tym poinformować drogą e-mailową i odesłać książki pod nasz adres, a my zwrócimy pieniądze.