Talk:Higher-order logic
From Wikipedia, the free encyclopedia
Another definition is that functions can not be passed as arguments in lower-order logic.
- This page was last modified 17:20, 6 March 2006 by Wikipedia user Dmccreary.
- All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. - About Wikipedia
- Disclaimers