Volume 13; Issue 1-2

Archive for Mathematical Logic

Volume 13; Issue 1-2
1

Modelltheoretische Untersuchungen in der Kripke-Semantik

Horst Osswald
Journal:
Archive for Mathematical Logic
Year:
1970
Language:
german
File:
PDF, 1023 KB
german, 1970
2

Metamathematische Begriffe in Standardtheorien

Giorgio Germano
Journal:
Archive for Mathematical Logic
Year:
1970
Language:
german
File:
PDF, 817 KB
german, 1970
3

Hierarchies of number-theoretic functions. I

M. H. Löb, S. S. Wainer
Journal:
Archive for Mathematical Logic
Year:
1970
Language:
english
File:
PDF, 516 KB
english, 1970
4

The unique existential quantifier

H. B. Enderton
Journal:
Archive for Mathematical Logic
Year:
1970
Language:
english
File:
PDF, 153 KB
english, 1970
6

Über die mit Stackautomaten berechenbaren Funktionen

Horst Müller
Journal:
Archive for Mathematical Logic
Year:
1970
Language:
german
File:
PDF, 737 KB
german, 1970
7

Ein Bezeichnungssystem für Ordinalzahlen

Helmut Pfeiffer
Journal:
Archive for Mathematical Logic
Year:
1970
Language:
german
File:
PDF, 769 KB
german, 1970
8

Substitution algebras in their relation to cylindric algebras

Anne Preller
Journal:
Archive for Mathematical Logic
Year:
1970
Language:
english
File:
PDF, 297 KB
english, 1970