correction of references (was: L. E. J. Brouwer and the Sub-Axiomatic Foundations of Mathematics)

[José Manuel Rodríguez Caballero]

correction 1:

> For example, the program EQP has been used to automatically prove a number
> of mathematical theorems, including the Robbins Conjecture in combinatorics
> [5].

instead of

> For example, the program Prover9 has been used to automatically prove a
> number of mathematical theorems, including the Robbins Conjecture in
> combinatorics [5].


correction 2:

> [5] McCune, William. "Solution of the Robbins problem." Journal of
> Automated Reasoning 19.3 (1997): 263.

instead of

> [5] Hurd, J. "Automated reasoning." Handbook of Practical Logic and
> Automated Reasoning, 2009, pp. 35-64.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20230306/3ecdb4ce/attachment-0001.html>