Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
Proof Methods for Modal and Intuitionistic Logics
182,70 €
Springer
Sivumäärä: 555 sivua
Asu: Kovakantinen kirja
Painos: 1983 ed.
Julkaisuvuosi: 1983, 30.04.1983 (lisätietoa)
Kieli: Englanti
Tuotesarja: Synthese Library 169
Sivumäärä: 555 sivua
Asu: Kovakantinen kirja
Painos: 1983 ed.
Julkaisuvuosi: 1983, 30.04.1983 (lisätietoa)
Kieli: Englanti
Tuotesarja: Synthese Library 169
The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Näytä kaikki tuotetiedot
ISBN:
9789027715739
Aihealue: