<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-11-10 04:09:39Computability theory Lambda calculus Theoretical computer science Universal quantification First-order logic Hoare logic Mathematical logic Logic Mathematics |
|
| First Page | Document Content | |
|---|---|---|
Date: 2014-11-10 04:09:39Computability theory Lambda calculus Theoretical computer science Universal quantification First-order logic Hoare logic Mathematical logic Logic Mathematics |
|
Content ➜ Intro & motivation, getting started COMP 4161 NICTA Advanced Course