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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Coquand, Thierry, Lombardi, Henri, Neuwirth, Stefan
Formato:	Preprint
Publicado:	2017
Materias:	Logic History and Overview 03G10, 01A60, 03-03, 03F05, 03F25, 03F65, 06-03, 06A12, 06B25, 06D05, 06E05, 06E10
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet

https://arxiv.org/abs/1711.06139