An Introduction to Lorenzen's 'Algebraic and Logistic Investigations on Free Lattices' (1951).
Saved in:
| Title: | An Introduction to Lorenzen's 'Algebraic and Logistic Investigations on Free Lattices' (1951). |
|---|---|
| Authors: | Coquand, Thierry1, Lombardi, Henri2, Neuwirth, Stefan2 stefan.neuwirth@univ-fcomte.fr |
| Source: | History & Philosophy of Logic. Nov2025, Vol. 46 Issue 4, p525-545. 21p. |
| Database: | Academic Search Ultimate |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
