Archiv für Mathematische Logik und Grundlagenforschung /
| Format: | Serial |
|---|---|
| Language: | German |
| Published: |
Stuttgart :
W. Kohlhammer,
1957-
|
| Subjects: | |
| Online Access: | Texto completo desde 1957, 1 hasta 1987, 26. [Consulta: 2020/05/18]. |
Table of Contents:
- vol.3, no.1-2 (1957) : In memoriam Jan Lukasiewicz / Heinrich Scholz-- Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen / Thomas Eichholz
- Die Gesamtheit der idempotenten implikativen Modalitätenstrukturen / H. Arnold Schmidt
- Remarks on descriptions and natural deduction / R. Montague, D. Kalish.
- vol.3, no.3-4 (1957) : Remarks on descriptions and natural deduction. II / R. Montague, D. Kalish
- Eine Unableitbarkeitsmethode für den intuitionistischen Aussagenkalkül / G. Kreisel, H. Putnam
- Kriterien für die Herleitbarkeit in Modalitätenstrukturen / Günther Emde
- Über die Syllogismen als Relationenmultiplikationen / Paul Lorenzen
- The validity of equations of complex algebras / N.D. Gautam
- Frege und die Schaltalgebra / W. Hoering.
- vol.4, no.1-2 (1958) : Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfäh.../ Wilhelm Ackermann
- Die Anwendung eines Einfachheitsprinzips auf die Wahrscheinlichkeitstheorie / Horst Kiesow
- Ein logischer Habakus / Heinrich Behmann
- Varianten von Turingmaschinen / Walter Oberschelp.
- vol.4, no.3-4 (1958) : The axiom of Fundierung and the axiom of choice / Elliott Mendelson
- Über Interpretationen der Prädikatenkalküle höherer Stufe / G. Hasenjaeger
- Natürliche Zahlen, Ordnung, Nachfolge / J. Schmidt, W. Felscher
- Über die Axiome produkt-abgeschlossener arithmetischer Klassen / Arnold Oberschelp
- Einige Bemerkungen zur Grundlegung der Wahrscheinlichkeitstheorie in elementaren Sprachen / Horst Kiesow.
- vol.6, no.3-4 (1964) : On Families of Sets represented in Theories / Hilary Putnam
- On the Logic of Variable Binders / Rolf Schock
- Regular Canonical Systems / J. Richard Büchi
- On Rational Betting Systems / Ernest W. Adams.
- vol.8, no.1-2 (1965) : Die Äquivalenz des klassischen und intutionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in kleenes Kalkül H. / Wolfgang Stegmüller
- On Definitions / Rolf Schock
- Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der reukrsiven Unlösbarkeit / Dieter Titgemeyer.
- vol.8, no.3-4 (1965) : Zur Stufenreduktion von Kalkülen / Herbert Fiedler
- Recursively enumerable classes and their application to recursive sequences of formal theories / Boykan Pour-El, Marian, Hilary Putnam.
- vol.9, no.1-2 (1966) : Über die Bestimmbarkeit des Verhaltens von Algorithmen / Klemens Döpp
- Über Darstellungen der elementaren Funktionen II / Dieter Rödding.
- vol.9, no.3-4 (1966) : A universal two-way automation / D.L. Kreider, R.W. Ritchie
- Eine Anmerkung zu Gödels Komprehensionstheorem / Eduard Wette
- Anzahlquantoren in der Prädikatenlogik / Dieter Rödding
- Protologische Untersuchugen I: ein allgemeiner Rahmen für naturgemässe Deduktion / H. Arnold Schmidt
- Non-Uniqueness at ... in Kleene's O. / Kurt Schütte, John N. Crossley
- Freges Begründung der Analysis / Franz v. Kutschera
- Constructive order types, III / John N. Crossley, P.H.G. Aczel.
- vol.10, no.1-2 (1967) : On the bounds of the minimal length of sequences representing simply ordered sets / David Deever, A. Abian
- Some generalized Sheffer functions / S., Abian, A. LaMacchia
- Paths in Kleene's 0. / (Peter H.G. Aczel
- Primitiv-rekursive Funktionen über einem Bereich endlicher Mengen / D. Rödding
- Zu den primitiv-rekursiven Funktionen über einem Bereich endlicher Mengen / F.-K. Mahn
- Eine semantische Charkterisierung der durch die Implikation allein darstellbaren Wahrheitsfunktionen / R. Villars
- Aussagenlogisch fundierte Theorien / Horst Luckhardt.
- vol.10, no.3-4 (1967) : Zur Axiomatisierbarkeit von Theorien in der schwachen Logik der zweiten Stufe / Wolfram Schwabhäuser
- Von Wright's relative Modalitäten / Horst Luckhardt
- On the existence of an empty set in set-theoretical methods / A. Abian, S. LaMacchia.
- vol.11, no.3-4 (1968) : Dialogspiele als semantische Grundlage von Logikkalkülen. II. Die Rolle der Logikkalküle in der Theorie der Dialogspiele / Kuno Lorenz
- Quasideduktive Systeme und S-Algebren.II / Joachim Bammert
- Semi-effective numberings and definitions of the computable numbers / B.H. Mayoh
- Ein konstruktives System von Ordinalzahlen / Kurt Schütte.
- vol.12, no.1-2 (1969) : Ein konstruktives System von Ordinalzahlen. II / Kurt Schütte
- Ein Bezeichnungssystem für Ordinalzahlen / Helmut Pfeiffer
- Kodifikation und Aussagenlogik / Horst Luckhardt
- Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen / Heinz-Dieter Ebbinghaus
- Primitiv-rekursive Funktionen auf Termmengen / Friedrich-Karl Mahn
- Über die Homogenisierbarkeit von Rechenprogrammen / Klemens Döpp
- Theophrastische Modallogik / Paul Lorenzen
- A note on k-axiomatisations of identity / Joan Rand Moschovakis
- Open formulas and the empty domain / H. Leblanc, R.K. Meyer
- Rekursionszahlen und die Grzegorczyk-Hierarchie / Helmut Schwichtenberg.
- vol.12, no.3-4 (1969) : On inaccessible cardinal numbers / Alexander Abian
- Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle / Franz v. Kutschera
- Mengeninduktion und Fundierungsaxiom / R.B. Jensen, Max E. Schröder
- Eine Verallgemeinerung des Hauptsatzes von Gentzen / Peter Zahn
- A liberated version of S5 / R. Meyer, H. Leblanc, K. Lambert
- Decision procedures for S3... and S4.. / J. Jay Zeman
- Schnittelimination in einem Teilsystem der einfachen Typenlogik / Wolfgang Bibel
- Über für-fast-alle-Quantoren / Heinz-Dieter Ebbinghaus.