Natural deduction: Revision history

Jump to navigation Jump to search

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

19 December 2025

  • curprev 02:3102:31, 19 December 2025 imported>BD2412 m 77,253 bytes +136 clean up spacing around commas and other punctuation, replaced: ,a → , a, ,k → , k (2), ,l → , l (2), ,m → , m (2), ,n → , n (3), ,t → , t (2), ,u → , u, ,v → , v (2), ; → ; (4), ( → (, ( → ( (12)

18 August 2025

6 June 2025

30 May 2025

  • curprev 12:0812:08, 30 May 2025 imported>Marc Schroeder 77,006 bytes +77,006 Better formulation of remark
Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Natural_deduction"