Revision as of 09:07, 25 September 2014 edit Jochen Burghardt (talk \| contribs) Extended confirmed users 24,306 edits →top ← Previous edit		Revision as of 14:27, 29 January 2015 edit undo 80.168.175.30 (talk) →Example: fmt Next edit →
Line 18: :: = −1 Note that this reasoning did '''not''' use any 'definition' or [[interpretation (logic)\|interpretation]] for the functions ''select'' and ''store''. All that is known is the axiom. ==Discussion==

Uninterpreted function: Difference between revisions