Infinitary logic: Revision history

Template:FlatlistExternal tools:

Template:Endflatlist


For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. Template:Nowrap from current version, Template:Nowrap from preceding version, Template:Nowrap, Template:Nowrap, Template:Nowrap

14 May 2025

  • curprev 05:0005:00, 14 May 2025imported>SilkPyjamasm 13,459 bytes +13,459 Adding local short description: "Logic that allows infinitely long proofs", overriding Wikidata description "logic that allows infinitely long statements and/or infinitely long proofs"