Back to Results
First PageMeta Content
Model theory / Equivalence relation / FO / Function / Equality / Type theory / If and only if / Type / Finitary relation / Mathematics / Mathematical logic / Logic


Document Date: 2003-02-11 11:01:04

Open Document

File Size: 314,59 KB

Share Result on Facebook

Company

Russell / /

IndustryTerm

computing / database systems / /

Organization

office of Naval Research / Department of Defense / Cornell / Pairs Union / /

Person

Niel Jones / Jean-Yves Girard / Paul Halmos / /

Position

computer scientist / Robert L. Constable / mathematician / prospective computer scientist / /

ProgrammingLanguage

Lisp / /

SocialTag