Séance de cours
Cette séance de cours couvre Sequent Calculus with Equality, mettant l'accent sur les formules atomiques, les formules et les règles de substitution. Parmi les sujets abordés, mentionnons l'utilisation de variables, de formules atomiques et l'application de règles de substitution et d'invocation.