15 Glossary

Prev Up Next Page 770 of 800 Search internet

15.1 B
15.2 C
15.3 H
15.4 L
15.5 P
15.6 R
15.7 T
15.8 V

Note: This glossary is under construction. If there is a term you want explained in the glossary, please send a note to me at grue@diku.dk.

It is the intension to add a 'reference guide' and an index later. The reference guide is intended to list the constructs of the base, check, Peano, and lgc pages alphabetically with a description of each construct.

Prev Up Next Page 770 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05