Heinrich Wansing (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?

PROOF THEORY OF MODAL LOGIC

Tekijä: Heinrich Wansing (ed.)
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 129,90

DAG PRAWITZ ON PROOFS AND MEANING

Tekijä: Heinrich Wansing (ed.)
Kustantaja: Springer (2014)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

DAG PRAWITZ ON PROOFS AND MEANING

Tekijä: Heinrich Wansing (ed.)
Kustantaja: Springer (2016)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

TOWARDS MATHEMATICAL PHILOSOPHY : PAPERS FROM THE STUDIA LOGICA CONFERENCE TRENDS IN LOGIC IV

Tekijä: David Makinson (ed.); Jacek Malinowski (ed.); Heinrich Wansing (ed.)
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 129,90

NEW ESSAYS ON BELNAP-DUNN LOGIC

Tekijä: Hitoshi Omori (ed.); Heinrich Wansing (ed.)
Kustantaja: Springer (2020)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

NEW ESSAYS ON BELNAP-DUNN LOGIC

Tekijä: Hitoshi Omori (ed.); Heinrich Wansing (ed.)
Kustantaja: Springer (2021)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

Proof Theory of Modal Logic

Heinrich Wansing (ed.)

129,90 €

Springer
Sivumäärä: 318 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2010, 09.12.2010 (lisätietoa)
Kieli: Englanti

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus