Page 362 in the Logic Manual... you know, the one built into the help menu ;-) Next time download the manila, and use the find function. Took me less than 1 minute.
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.