Estadísticas de Reconstructing propositional proofs in type theory
Visitas totales
views | |
---|---|
Reconstructing propositional proofs in type theory | 10 |
Visitas totales por mes
views | |
---|---|
October 2024 | 0 |
November 2024 | 0 |
December 2024 | 0 |
January 2025 | 0 |
February 2025 | 0 |
March 2025 | 0 |
April 2025 | 0 |
Visitas de archivo
views | |
---|---|
JonathanSteven_PrietoCubides_2017.pdf | 26 |
Vistas principales por país
views | |
---|---|
United Kingdom | 4 |
Norway | 4 |
Colombia | 2 |
Visitas principales por ciudad
views | |
---|---|
Bury St Edmunds | 4 |
Oslo | 4 |
Medellín | 2 |