Sommaire

Modelltheoretische Untersuchungen in der Kripke-Semantik.

Osswald, Horst

Access to full text
p. 3-21

Göttinger Digitalisierungszentrum
Metamathematische Begriffe in Standardtheorien.

Germano, Giorgio

Access to full text
p. 22-38

Göttinger Digitalisierungszentrum
Hierarchies of number-theoretic functions. I.

Löb, M.H. ; Wainer, S.S.

Access to full text
p. 39-51

Göttinger Digitalisierungszentrum
The unique existential quantifier.

Enderton, H.B.

Access to full text
p. 52-54

Göttinger Digitalisierungszentrum
Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik.

Luckhardt, Horst

Access to full text
p. 55-59

Göttinger Digitalisierungszentrum
Über die mit Stackautomaten berechenbaren Funktionen.

Müller, Horst

Access to full text
p. 60-73

Göttinger Digitalisierungszentrum
Ein Bezeichnungssystem für Ordinalzahlen.

Pfeiffer, Helmut

Access to full text
p. 74-90

Göttinger Digitalisierungszentrum
Substitution algebras in their relation to cylindric algebras.

Preller, Anne

Access to full text
p. 91-96

Göttinger Digitalisierungszentrum
Hierarchies of number-theoretic functions. II.

Löb, M.H. ; Wainer, S.S.

Access to full text
p. 97-113

Göttinger Digitalisierungszentrum
Hierarchien primitiv-rekursiver Funktionen im Transfiniten.

Schröder, M.E.

Access to full text
p. 114-133

Göttinger Digitalisierungszentrum
Kripke-Semantik der derivativen Prädikatelogik.

Luckhardt, Horst

Access to full text
p. 134-135

Göttinger Digitalisierungszentrum
A classification of the ordinal recursive functions.

Wainer, S.S.

Access to full text
p. 136-153

Göttinger Digitalisierungszentrum
Remarks on limitultrapowers.

Gudjónsson, Halldor

Access to full text
p. 154-157

Göttinger Digitalisierungszentrum
Harmonische Analysis bei Aussagenkalkülen.

Liedl, Roman

Access to full text
p. 158-167

Göttinger Digitalisierungszentrum
Logische Kategorien.

Hájek, Peter

Access to full text
p. 168-193

Göttinger Digitalisierungszentrum