Krysia Broda , Jiefei Ma , Gabrielle Sinnadurai , Alex Summers
December 2006
Teaching Formal Methods: Practice and Experience (TFM)
Teaching Formal Methods: Practice and Experience
15 December 2006
natural deduction, Fitch box proof, first order logic, predicate logic, teaching, learning, e-learning
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/