Proof Theory of Modal Logic
indgår i Applied Logic Series serien
- Indbinding:
- Hardback
- Sideantal:
- 318
- Udgivet:
- 1. oktober 1996
- Udgave:
- 1996
- Størrelse:
- 235x155x19 mm.
- Vægt:
- 1430 g.
- 8-11 hverdage.
- 6. december 2024
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Beskrivelse af Proof Theory of Modal Logic
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. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
Brugerbedømmelser af Proof Theory of Modal Logic
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Proof Theory of Modal Logic findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621