Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi
Płać wygodnie kartą, Klarną, Apple Pay lub Google Pay. Nie jesteś zadowolony? Zawsze masz 14-dniową gwarancję zwrotu pieniędzy. Więcej przeczytasz w naszych warunkach. Masz pytania? Napisz do nas na hello@memmo.org.
Memmo ułatwia naukę – gdziekolwiek jesteś na świecie. U nas znajdziesz podręczniki i sprytne narzędzia do nauki w jednym miejscu: streszczenia, quizy, podcasty i fiszki. A do tego Ted, Twój kumpel do nauki, który odpowie na wszystko, co Cię nurtuje. Ponad 50 000 studentów już tu się uczy – stworzone, byś uczył się szybciej i mniej stresował.
Może Ci się spodobać
Kup książkę0