Find link

language:

Find link is a tool written by Edward Betts.

searching for List of logic symbols 1 found (27 total)

Curry's paradox (2,427 words) [view diff] exact match in snippet view article find links to article

explanation of the logic notation used in this section, refer to the list of logic symbols. X := (X → Y) assumption, the starting point, equivalent to "If