# Logical Foundations of Computing

<!--hide the markdown heading because it would not be centered (but it is needed to give the browser tab a title) -->
```{raw} html
<style>
.bd-article section[id] > h1:not([style]) {
    display: none !important;
}
.bd-title {
    display: none !important;
}
</style>
```

<div style="text-align: center; margin-top: 0em; margin-bottom: 0em; min-height: 60vh; display: flex; flex-direction: column; justify-content: center; page-break-after: always;">

<h1 style="margin: 0;">Logical Foundations of Computing</h1>

<div style="margin-top: 1.5em; margin-bottom: 1.5em; font-size: 1.2em; color: #666;">
An Introduction to Logics and Their Software Tools
</div>

<div style="margin-top: 4em; font-size: 0.9em; color: #888; font-style: italic;">
<em>Developed by the students and instructor of </em>
</div>

<div style="margin-top: 2em; font-size: 1.1em;">
<strong>CPSC 510</strong><br>
<em>Logical Foundations of Computing</em>
</div>

<div style="margin-top: 2em; font-size: 1em; color: #666;">
Chapman University<br>
Fall 2025<br>
<br>
Spencer Au, Wayne Chong, Jack de Bruyn, Matt Favela, Brandon Foley, John Mulhern, Khoa Nguyen, Jake Triester, Alex Zermeno, Alexander Kurz
</div>

</div>