Logika: Programming Logics

Logika: Programming Logics

These notes were adapted from the Programming Logics lecture notes by David A. Schmidt.

The main adaptation of the work is to use the Sireum Logika formal input language as the notations for the propositional, predicate, and programming logics.

This adaptation work is licensed under a newer license version of Schmidt's -- Creative Commons Attribution 4.0 International License (CC BY 4.0). © Copyright 2016, Robby. Creative Commons License

Note

The adaptation to use the Logika formal language is still in progress; it is currently up to Chapter 1.