𝔖 Bobbio Scriptorium

✦ LIBER ✦

[Lecture Notes in Mathematics] Cambridge Summer School in Mathematical Logic Volume 337 || A preservation theorem for interpretations

✍ Scribed by Mathias, A. R. D.; Rogers, H.

Book ID: 120429193
Publisher: Springer Berlin Heidelberg
Year: 1973
Weight: 185 KB
Category: Article
ISBN: 354005569X
DOI: 10.1007/BFb0066793

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Mathematics] Logic Col

[Lecture Notes in Mathematics] Logic Colloquium Volume 453 || A realizability interpretation of the theory of species

✍ Parikh, Rohit 📂 Article 📅 1975 🏛 Springer Berlin Heidelberg ⚖ 828 KB

[Lecture Notes in Mathematics] Curvature

[Lecture Notes in Mathematics] Curvature and Topology of Riemannian Manifolds Volume 1201 || A vanishing theorem for piecewise constant curvature spaces

✍ Shiohama, Katsuhiro; Sakai, Takashi; Sunada, Toshikazu 📂 Article 📅 1986 🏛 Springer Berlin Heidelberg ⚖ 348 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2005 Volume 3618 || A BDD-Representation for the Logic of Equality and Uninterpreted Functions

✍ Jȩdrzejowicz, Joanna; Szepietowski, Andrzej 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 216 KB

Interactive decision analysis: Proceedin

Interactive decision analysis: Proceedings of an International Workshop on Interactive Decision Analysis and Interpretative Computer Intelligence, held at the International Institute for Applied Systems Analysis (IIASA), Laxenburg, Austria, September 20–23, 1983: M. GRAUER and A.P. WIERZBICKI (Eds.) Volume 229 in: Lecture Notes in Economics and Mathematical Systems, Springer, Berlin, 1984, viii + 269 pages, DM44.00

✍ B. Werners 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 214 KB