𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Correction to the Paper "Some Impredicative Definitions in the Axiomatic Set-Theory."by Andrzej Mostowski

✍ Scribed by Review by: Th. Skolem

Book ID
124953956
Publisher
Association for Symbolic Logic
Year
1953
Tongue
English
Weight
193 KB
Volume
18
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Odin métod postroéniá néstandartnoj modé
Odin métod postroéniá néstandartnoj modéli aksiomatičéskoj téorii množéstv Bérnajsa Gédélá (A method of constructing a non-standard model for the axiomatic set theory of Bernays-Gödel).by Petr Vopěnka;Postroénié modéléj téorii množéstv métodom spéktra (Konstruktion von Modellen der Mengenlehre mit der Methode de Spektren).by Petr Vopěnka;Eléméntarnyé ponátiá v téorii množéstv (Elementare Begriffe in der Mengenlehre).by Petr Vopěnka;Postroénié néstandartnoj nérégulárnoj modéli téorii množéstv (Konstruktion von nichtregulären Nichstandardmodellen der Mengenlehre).by Petr Vopěnka;Podmodéli modéléj téorii množéstv (Teilmodelle von Modellen der Mengenlehre).by Petr Vopěnka
✍ Review by: Andrzej Mostowski 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 558 KB
Mathematical Methods of the Theory of St
Mathematical Methods of the Theory of Stochastic Automata.by A. Bertoni; A. Blikle;Functions Computable in the Limit by Probabilistic Machines.by R. V. Freivald;Some Properties of Limit Recursive Functions.by B. Goetze; R. Klette;An Approach to Correctness Proofs of Semicoroutines.by Ole-Johan Dahl;The axiomatization Problem of a Theory of Linear Languages.by G. Wechsung;Modular Approach to the Logical Theory of Programs.by L. Banachowski;Mathematical Foundations of Motivation Languages and Synthesis Maps.by Pierangelo Miglioli;ω+-Valued Algorithmic Logic as a Tool to Investigate Procedures.by H. Rasiowa;Procedures, formal Computations and Models.by Andrzej Salwicki
✍ Review by: Steven S. Muchnick 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 98 KB