Matematiske fundament
Filter
This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, …
Classical logic – which studies the structural features of purported claims of fact – and modal logic – which studies relations of necessity and possibility – are different but …