Produkt
KlappentextThis textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
Details
ISBN/GTIN978-3-030-57147-4
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2021
Erscheinungsdatum18.12.2021
Auflage1st ed. 2021
Seiten345 Seiten
SpracheEnglisch
IllustrationenXVI, 345 p. 15 illus., 1 illus. in color.
Artikel-Nr.50332229
Rubriken