✦ LIBER ✦

Decidability and Definability in Second-Order Theories.by Michael O. Rabin

✍ Scribed by Review by: Dirk Siefkes

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidability of Second-order Theories an

✍ Review by: Dirk Siefkes 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 185 KB

Decidability of Second-Order Theories an

✍ Michael O. Rabin 📂 Article 📅 1969 🏛 American Mathematical Society 🌐 English ⚖ 862 KB

Weakly Definable Relations and Special A

✍ Review by: Dirk Siefkes 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 105 KB

Hauptsatz for Higher Order Logic.by Dag

✍ Review by: K. Schütte 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 117 KB

Femtosecond pulse generation in a Ti:A1_

✍ Jacobson, J. M.; Naganuma, K.; Haus, H. A.; Fujimoto, J. G.; Jacobson, A. G. 📂 Article 📅 1992 🏛 Optical Society of America 🌐 English ⚖ 416 KB

Second-order optical non-linearity initi

✍ V.N. Sigaev; N.V. Golubev; S.Yu. Stefanovich; T. Komatsu; Y. Benino; P. Pernice; 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 932 KB