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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Coquand, Thierry, Lombardi, Henri, Neuwirth, Stefan
Format:	Preprint
Published:	2017
Subjects:	Logic History and Overview 03G10, 01A60, 03-03, 03F05, 03F25, 03F65, 06-03, 06A12, 06B25, 06D05, 06E05, 06E10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/1711.06139