Per MARTIN-LÖF: Intuitionistic type theorv

Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 4 (2) (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,060

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Intuitionistic type theory. [REVIEW]Jesús Alcolea Banegas - 1988 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 4 (1):235-238.
Jesús IBÁÑEZ: Del algoritmo al sujeto. Perspectivas de la investigación social. [REVIEW]Xavier Puig - 1987 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 2 (5):601-602.
Historia, Ciencia, Filosofía.Julio Rey Pastor - 1952 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 1 (1):1-3.
Vidas y muertes de Luis Martín Santos. [REVIEW]Juan Carlos Hernandez-Clemente - 2010 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 25 (2):250-252.
Ciencia antigua y ciencia moderna.Manuel Úbeda Purkiss - 1954 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 2 (1-2):91-94.
H. KRAGH: Introducción a la historia de la ciencia. [REVIEW]J. MartÍnez De Velasco - 1992 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 7 (1-3):1255-1259.
Teoría y técnica de la legislación.Manuel Atienza Rodríguez - 1987 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 3 (1-3):435-447.
La memoria de la Historia.Norman Barraclough Valls - 1953 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 1 (3):158-158.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references