Logical Foundations of Computing#
Logical Foundations of Computing
An Introduction to Logics and Their Software Tools
Developed by the students and instructor of
CPSC 510
Logical Foundations of Computing
Logical Foundations of Computing
Chapman University
Fall 2025
Spencer Au, Wayne Chong, Jack de Bruyn, Matt Favela, Brandon Foley, John Mulhern, Khoa Nguyen, Jake Triester, Alex Zermeno, Alexander Kurz
Fall 2025
Spencer Au, Wayne Chong, Jack de Bruyn, Matt Favela, Brandon Foley, John Mulhern, Khoa Nguyen, Jake Triester, Alex Zermeno, Alexander Kurz