Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Gespeichert in:
Hauptverfasser:
Düntsch, Ivo (HerausgeberIn), Mares, Edwin (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2022
Ausgabe:
1st ed. 2022
Umfang:
1 Online-Ressource (XIII, 586 p. 66 illus., 5 illus. in color)
text file PDF
Schriftenreihe:
Outstanding Contributions to Logic
ISBN:
9783030714307
ISSN:
2211-2766
DOI:
10.1007/978-3-030-71430-7
Schlagworte:
Logic
Mathematical logic
Algebra
Bezugswerke:
Links: