Tipsa dina vänner om produkten:
Proof Methods for Modal and Intuitionistic Logics - Synthese Library M. Fitting Softcover reprint of the original 1st ed. 1983 edition
Pris
SEK 2.129
Beställningsvara
Förväntad leverans 6 - 16 nov
Julklappar kan bytas fram till 31:e januari
Få avisering om nya utgåvor med M. Fitting
Lägg till din iMusic-önskelista
eller
Finns även som:
Proof Methods for Modal and Intuitionistic Logics - Synthese Library
M. Fitting
The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.
555 pages, biography
![Cover for M. Fitting · Types, Tableaus, and Godel’s God - Trends in Logic (Pocketbok) [Softcover reprint of the original 1st ed. 2002 edition] (2012)](https://imusic.b-cdn.net/images/item/original/123/9789401039123.jpg?m-fitting-2012-types-tableaus-and-godel-s-god-trends-in-logic-pocketbok&class=scaled&v=1583001926)
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Pocketbok) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Konrad Schmudgen · Unbounded Self-Adjoint Operators on Hilbert Space - Graduate Texts in Mathematics (Inbunden Bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/822/9789402423822.jpg?konrad-schmudgen-2027-unbounded-self-adjoint-operators-on-hilbert-space-graduate-texts-in-mathematics-inbunden-bok&class=scaled&v=1786374320)
![Cover for Handbuch Organisationssoziologie (Inbunden Bok) [1. Aufl. 2021 edition] (2026)](https://imusic.b-cdn.net/images/item/original/191/9783658159191.jpg?2026-handbuch-organisationssoziologie-inbunden-bok&class=scaled&v=1605099239)
