Author:
Bergmann Eberhard,Noll Helga
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. G. Asser: Einführung in die mathematische Logik I. Leipzig: Teubner 1964
2. E. W. Beth: The Foundations of Mathematics. Amsterdam: North-Holland 1959
3. J. W. de Bakker: Axiom systems for simple assignment statements. In: E. Engeler (ed.): Symposion on Semantics of Algorithmic Languages. Berlin, Heidelberg, New York: Springer 1971 (vgl. Kap. 4: [SSAL 71]), 1–22
4. H. Hermes: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Berlin, Heidelberg, New York: Springer 1971
5. M. Jaegermann: Information storage and retrieval systems — mathematical foundations. Part IV: Systems with incomplete information. Computation Centre of the Polish Academy of Sciences, Warszawa 1975, Report No. 215