nLab predicate logic (history)

November 23, 2025

• Current (diff)
  by Naïm Favier on November 23, 2025 at 15:31:39.

June 15, 2025

• Revision 28 (diff)
  by Karl Schoenbaum on June 15, 2025 at 17:56:30.

December 30, 2022

• Revision 27 (diff)
  by Urs Schreiber on December 30, 2022 at 21:17:35.

December 29, 2022

• Revision 26 (diff)
  by Urs Schreiber on December 29, 2022 at 11:09:46.

December 9, 2022

• Revision 25 (diff)
  by Anonymous on December 9, 2022 at 15:24:56.

November 2, 2022

• Revision 24 (diff)
  by Zoran Škoda on November 2, 2022 at 11:49:22.

October 14, 2022

• Revision 23 (diff)
  by Anonymous on October 14, 2022 at 19:49:12.

March 3, 2021

• Revision 22 (diff)
  by Anonymous on March 3, 2021 at 05:19:25.

February 6, 2021

• Revision 21 (diff)
  by Anonymous on February 6, 2021 at 16:31:03.

November 1, 2014

• Revision 20 (diff)
  by Urs Schreiber on November 1, 2014 at 21:38:41.

July 15, 2014

• Revision 19 (diff)
  by Thomas Holder on July 15, 2014 at 07:38:37.

July 4, 2014

• Revision 18 (diff)
  by Toby Bartels on July 4, 2014 at 01:24:56.

July 2, 2014

• Revision 17 (diff)
  by Thomas Holder on July 2, 2014 at 22:19:38.
• Revision 16 (diff)
  by Thomas Holder on July 2, 2014 at 09:23:18.

June 28, 2014

• Revision 15 (diff)
  by Thomas Holder on June 28, 2014 at 02:00:55.

June 26, 2014

• Revision 14 (diff)
  by Thomas Holder on June 26, 2014 at 03:58:17.

December 20, 2012

• Revision 13 (diff)
  by Urs Schreiber on December 20, 2012 at 01:39:13.

September 14, 2012

• Revision 12 (diff)
  by Urs Schreiber on September 14, 2012 at 14:08:49.

September 5, 2012

• Revision 11 (diff)
  by David Corfield on September 5, 2012 at 18:22:18.

August 27, 2012

• Revision 10 (diff)
  by Urs Schreiber on August 27, 2012 at 19:37:58.

May 29, 2012

• Revision 9 (diff)
  by Andrew Stacey on May 29, 2012 at 22:04:00.
• Revision 8 (diff)
  by David Roberts on May 29, 2012 at 01:20:47.

May 15, 2012

• Revision 7 (diff)
  by Urs Schreiber on May 15, 2012 at 19:37:40.

March 1, 2012

• Revision 6 (diff)
  by Urs Schreiber on March 1, 2012 at 16:20:40.

September 5, 2011

• Revision 5 (diff)
  by Toby Bartels on September 5, 2011 at 16:17:15.

November 3, 2010

• Revision 4 (diff)
  by Urs Schreiber on November 3, 2010 at 13:14:10.

December 16, 2009

• Revision 3 (diff)
  by Toby Bartels on December 16, 2009 at 18:41:51.
• Revision 2 (diff)
  by Mike Shulman on December 16, 2009 at 18:39:02.
• Revision 1
  by Toby Bartels on December 16, 2009 at 18:29:34.