![Oxford University Computing Laboratory / Z notation / Formal methods / Model theory / Functions and mappings / First-order logic / Function / S / Lambda calculus / Mathematical logic / Mathematics / Logic Oxford University Computing Laboratory / Z notation / Formal methods / Model theory / Functions and mappings / First-order logic / Function / S / Lambda calculus / Mathematical logic / Mathematics / Logic](https://www.pdfsearch.io/img/10761905e0716f01ee42870895151320.jpg)
| Document Date: 2009-03-31 21:35:27 Open Document File Size: 295,33 KBShare Result on Facebook
City Ottawa / / OperatingSystem Unix / Microsoft Windows / Unix system / / Organization Z/EVES Project TR-97-5493-03d Chapter / / Person Irwin Meisels / / Position Emacs editor / Forward / / ProgrammingLanguage LATEX / / ProvinceOrState Ontario / / Technology Unix system / Unix / GUI / /
SocialTag |