Find link

language:

Find link is a tool written by Edward Betts.

searching for Well-formed formula 2 found (67 total)

Harrop formula (572 words) [view diff] exact match in snippet view article find links to article

{\displaystyle B} are; ¬ F {\displaystyle \neg F} is Harrop for any well-formed formula F {\displaystyle F} ; F → A {\displaystyle F\rightarrow A} is Harrop

Ordinal notation (1,860 words) [view diff] exact match in snippet view article find links to article

some formal language to the natural numbers. This associates each well-formed formula with a unique natural number, called its Gödel number. If a Gödel