Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity of proofs, and papers on philosophical logic and history of logic. Wydawnictwo: Springer Rok wydania: 2021 Okładka: twarda Liczba stron: 586 Wymiary: 23.5 x 15.5 cm Ilustracje: 5 Illustrations, color; 61 Illustrations, black and white; XIII, 586 p. 66 illus., 5 illus. in color. Język: angielski ISBN: 9783030714291