Home
Main website
Display Sidebar
Hide Ads
Recent Changes
View Source:
Z
Edit
PageHistory
Diff
Info
LikePages
A language based on SetTheory and PredicateLogic. It may or may not be a ProgrammingLanguage, depending on which hairs you wish to split. It is certainly a notation. http://vl.zuser.org/ ---- CategoryProgrammingLanguages
3 pages link to
Z
:
PredicateLogic
WaikatoCourseDescriptions
SetTheory