An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Coquand, Thierry, Lombardi, Henri, Neuwirth, Stefan
Format:	Preprint
Publié:	2017
Sujets:	Logic History and Overview 03G10, 01A60, 03-03, 03F05, 03F25, 03F65, 06-03, 06A12, 06B25, 06D05, 06E05, 06E10
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet

https://arxiv.org/abs/1711.06139