Arithmetische Operatoren

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):553-570 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19760220163

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Arithmetische Operatoren.Klaus Wagner - 1976 - Mathematical Logic Quarterly 22 (1):553-570.
Arithmetische und Bairesche Operatoren.Klaus Wagner - 1976 - Mathematical Logic Quarterly 23 (7‐12):181-191.
Arithmetische und Bairesche Operatoren.Klaus Wagner - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):181-191.
Konstruktive reelle funktionale und operatoren.Jürgen Hauck - 1983 - Mathematical Logic Quarterly 29 (4):213-218.
Strukturschema und Operatoren in Hartmanns Iwein.Rolf Selbmann - 1976 - Deutsche Vierteljahrsschrift für Literaturwissenschaft Und Geistesgeschichte 50:60-83.
Der Iterierte Limes Rekursiver Funktionen und Die Arithmetische Hierarchie.B. Goetze, R. Klette & D. Gillo - 1976 - Mathematical Logic Quarterly 23 (16‐17):265-272.
Ein algorithmus zur verarbeitung logischer operatoren im rahmen einer automatischen programmierung mittels programmierenden programms.Wilhelm Kämmerer - 1964 - Mathematical Logic Quarterly 10 (9‐12):139-146.
Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.
Der Iterierte Limes Rekursiver Funktionen und Die Arithmetische Hierarchie.B. Goetze, R. Klette & D. Gillo - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (16-17):265-272.
Ein algorithmus zur verarbeitung logischer operatoren im rahmen einer automatischen programmierung mittels programmierenden programms.Wilhelm Kämmerer - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (9-12):139-146.
Review: Th. Skolem, Uber die Zuruckfuhrbarkeit einiger durch Rekursionen Definierter Relationen auf "Arithmetische.". [REVIEW]Barkley Rosser - 1937 - Journal of Symbolic Logic 2 (2):85-86.
Herbezinning op de filosofie van de techniek.Johan Stellingwerff - 2004 - Philosophia Reformata 69 (1):77-92.
Werke.Erhard Weigel - 2003 - Stuttgart-Bad Cannstatt: Frommann-Holzboog. Edited by Thomas Behme.
Uber Arithmetische Funktionen von unendlich Vielen Variablen, Welche an Jeder Stelle Bloss von Einer Endlichen Anzahl von Variabeln Abhangig sind.L. Kalmar - 1970 - Journal of Symbolic Logic 35 (1):152-152.
Bemerkungen zur Deutung von Gödels Unentscheidbarkeitstheorem.Henri Lauener - 1993 - Dialectica 47 (2‐3):189-197.

Analytics

Added to PP
2016-02-04

Downloads
24 (#639,942)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.

Add more references