Wikipedia:WikiProject Logic/Standards for notation: Difference between revisions

Revision as of 20:38, 1 April 2009

Revision as of 20:39, 1 April 2009

Line 206:

For consistency use the following terminology in Logic articles:

''Drafting in progress drafted'' cf [[Wikipedia talk:WikiProject Logic/Standards for notation#Terminology]]

individual constant Mendelson 1964-1997; Mates 1972; Gamut 1991

constant Shoenfield 1967, Hodges 1993, Ebbinghaus et al 1996

(individual) constant symbol Chang & Keisler 1973-1989

constant symbol

{| class="wikitable"