56

The theory of the Gödel functionals

Year:
1976
Language:
english
File:
PDF, 564 KB
english, 1976
58

Replacement and collection: a correction

Year:
1986
Language:
english
File:
PDF, 193 KB
english, 1986
62

Flagg realizability in arithmetic

Year:
1986
Language:
english
File:
PDF, 416 KB
english, 1986
64

Relativized realizability in intuitionistic arithmetic of all finite types

Year:
1978
Language:
english
File:
PDF, 1.30 MB
english, 1978
65

Replacement and Collection: A Correction

Year:
1986
Language:
english
File:
PDF, 90 KB
english, 1986
66

Flagg Realizability in Arithmetic

Year:
1986
Language:
english
File:
PDF, 188 KB
english, 1986
79

Foundations: Logic, Language, and Mathematics, Part I || The Knowing Mathematician

Year:
1984
Language:
english
File:
PDF, 1.84 MB
english, 1984
85

Intensions, Church's thesis, and the formalization of mathematics.

Year:
1987
Language:
english
File:
PDF, 2.28 MB
english, 1987
93

Mathematics as an Objective Science

Year:
1979
Language:
english
File:
PDF, 1.22 MB
english, 1979