Sommaire

Category theory based on combinatory logic.

Bunder, M.W.

Access to full text
p. 1-16

Göttinger Digitalisierungszentrum
Constructive analysis and thermodynamics formulations.

Drago, Antonino

Access to full text
p. 17-22

Göttinger Digitalisierungszentrum
PA-beweisbare ...-Formeln.

Mellis, Werner

Access to full text
p. 23-48

Göttinger Digitalisierungszentrum
...-inaccessible ordinals, collapsing functions and a recursive notation system.

Jäger, Gerhard

Access to full text
p. 49-62

Göttinger Digitalisierungszentrum
Minimal ...-hyperdegrees.

Chong, C.T.

Access to full text
p. 63-72

Göttinger Digitalisierungszentrum
Spielquantorinterpretationen unstetiger Funktionale der höheren Analysis.

Friedrich, Wolfgang

Access to full text
p. 73-100

Göttinger Digitalisierungszentrum
Eine Logik vager Sätze.

Kutschera, Franz v.

Access to full text
p. 101-118

Göttinger Digitalisierungszentrum
Amorphe Potenzen kompakter Räume.

Brunner, Norbert

Access to full text
p. 119-136

Göttinger Digitalisierungszentrum
The arithmetic and turing degrees are not elementary equivalent.

Shore, Richard A.

Access to full text
p. 137-140

Göttinger Digitalisierungszentrum
Functorial bounds for cut elimination in L... .I.

Ferbus, Marie-Christine

Access to full text
p. 141-158

Göttinger Digitalisierungszentrum
A possibility-free logic of descriptions.

Bencivenga, Ermanno

Access to full text
p. 159-166

Göttinger Digitalisierungszentrum
Les premiers recursivements inaccessible et Mahlo et la theorie des dilatateurs.

Girard, J.Y., Vauzeilles, J.

Access to full text
p. 167-191

Göttinger Digitalisierungszentrum