
Sequents and Trees
750 kr
750 kr
Tor, 10 jul - ons, 16 jul
Säker betalning
14-dagars öppet köp
Säljs och levereras av
AdlibrisProduktbeskrivning
After a brief introduction to classical propositional logic, the text explores three variants of sequent calculus and their features and applications. The remaining chapters then show how sequent calculi can be extended, modified, andapplied to non-classical logics, including modal, intuitionistic, substructural, and many-valued logics.
Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses on proof theory and its application to non-classical logics. It will also be of interest to researchers in computer science and philosophers.
Artikel.nr.
12a683b7-fff4-4ba7-ba94-cc26908c16d0
Sequents and Trees
750 kr
750 kr
Tor, 10 jul - ons, 16 jul
Säker betalning
14-dagars öppet köp
Säljs och levereras av
AdlibrisLiknande toppsäljare

POP MART Labubu The Monsters Big Into Energy Series Figures Vinyl Plush Pendant Blind Box
499 kr

POP MART Labubu The Monsters Exciting Macaron Vinyl Face Blind Box
499 kr

Sony PlayStation DualSense - White (PS5)
699 kr

Apple AirPods 4 med aktiv brusreducering
2 060 kr

3-pack rakblad kompatibel med Philips Oneblade Replacement
159 kr

INF TYPE-C Dubbel SD/TF-kortläsare för snabb dataöverföring 0
79 kr

iPhone Snabbladdare USB-C PD 3.0. 20W Strömadapter + Kabel
117 kr

Smart Öronrengörare med Kamera – Trådlös & Säker Öroninspektion
199 kr

X500 Trådlösa Bluetooth Hörlurar - 30 timmar C4U® ANC ENC BT 5.3
269 kr
Tidigare lägsta pris:
399 kr

Apple AirPods Pro (andra generationen) 2023 med MagSafe-fodral (USB-C)
2 698 kr
Rekommendationer för dig

Trottinette Elektrisk för vuxna AOVOPRO Däck 8,5'' hopfällbar
2 155 kr

Trådlös CarPlay adapter 2025 - En smart och modern lösning för din bil
219 kr
Tidigare lägsta pris:
295 kr

Apple AirPods 4 Wireless In-ear
1 578 kr

INF Tillbehör för Roborock S5/S6 modeller 7 delar
149 kr
Tidigare lägsta pris:
199 kr

Fjärrkontroll Philips Smart TV med Netflix – Universell
89 kr
Tidigare lägsta pris:
99 kr

INF Öronkuddar för Bose QC35 I/II, QC25, QC15, QC 2 AE 2, AE 2i, AE 2w, SoundTrue, SoundLink
79 kr
Tidigare lägsta pris:
99 kr

Mi Smart Standing Fan 2 (EU)
839 kr
Tidigare lägsta pris:
849 kr

2-Pack - Xiaomi Däck med Verktyg - Punkteringsfritt / Elscooter
249 kr
Tidigare lägsta pris:
269 kr

UNIQ XL Hollywood Spegel med 15 LED-lampor och touch-funktion - sminkspegel med belysning - hollywoodspegel
749 kr
Tidigare lägsta pris:
795 kr

Malibu Fast Tanning Bronzing Butter with Beta Carotene 300ml
139 kr