Finitely Generated Groups and First-Order Logic

londmathsoc.onlinelibrary.wiley.comsite

Journal of The London Mathematical Society-second Series, 2005. [All Versions].

from

AGI & CoCoSci

added

2026-10-10

likes

0

similar

1. ▲

   Notes on Finite Group Theory webspace.maths.qmul.ac.uk

   Peter J. Cameron.

   site topic math link ↗
   site
2. ▲

   Odd Order Theorem github.com

   Formal proof of the Odd Order Theorem, a landmark result of finite group theory.

   tool topic math link ↗
   
3. ▲

   Mathematical Components math-comp.github.io

   Formalization of mathematical theories, focusing in particular on group theory.

   site topic math link ↗
   site
4. ▲

   Second-order and Higher-order Logic plato.stanford.edu

   Plato Stanford.

   site topic philosophy link ↗
   site
5. ▲

   Sorting with Bialgebras and Distributive Laws, 2012, Hinze et al. cs.ox.ac.uk

   site link ↗
   site
6. ▲

   Learning higher-order logic programs andrewcropper.com

   Machine Learning, 2019. [All Versions].

   site topic ai link ↗
   site

AGI & CoCoSci › Papers > Inductive Logic & Program Synthesis: “Journal of The London Mathematical Society-second Series, 2005. [All Versions].”