SZEROKI WYBÓR
Oferujemy ponad milion pozycji anglojęzycznych – od literatury pięknej po specjalistyczną .
Proof Theory and Algebra in Logic
Język:
Oprawa:
Miękka
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
211,54 zł
Szczegółowe informacje
| ISBN | 9789811379963 |
|---|---|
| Autor | Ono Hiroakira |
| Wydawca | Springer Nature |
| Język | english |
| Oprawa | Paperback |
Opis książki
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.
-
-
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.