Back to Results
First PageMeta Content
Model theory / Predicate logic / Skolem normal form / Counterexample / Free variables and bound variables / Universal quantification / Function / American English / Mathematics / Logic / Mathematical logic


Document Date: 2014-08-27 06:04:04

Open Document

File Size: 630,30 KB

Share Result on Facebook

/

Movie

First Steps 3 / /

OperatingSystem

Cygwin / Microsoft Windows / Mac OS X / Linux / /

Organization

Technische Universität München / HOL Jasmin Christian Blanchette Institut für Informatik / MIT / Kodkod / /

Person

Mark Summerfield / Jasmin Christian Blanchette / /

Position

General / author / model for the axioms / /

ProgrammingLanguage

ML / Java / /

Technology

virtual machine / Java / Linux / /

SocialTag