Revision as of 22:27, 13 May 2012 (view source) Rdm (talk \| contribs) (→‎Quantifiers) ← Older edit		Revision as of 22:41, 13 May 2012 (view source) rosettacode>Ruud Koot (→‎Quantifiers: re) Newer edit →
Line 208: ::::: Typically a type, in computer programming, symbolizes a set of values which may validly be represented in the computer program. If the set is infinite, however, the validity requirement vanishes. --[[User:Rdm\|Rdm]] 22:27, 13 May 2012 (UTC) :::::: Not even wrong... I don't think it will be fruitful to continue this discussion. —''[[User:Ruud Koot\|Ruud]]'' 22:41, 13 May 2012 (UTC)

Talk:Proof: Difference between revisions

Talk:Proof (view source)