𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories

✍ Scribed by Gerhard Jäger; Dieter Probst


Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
306 KB
Volume
162
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


The application of multivariate mathemat
✍ Erhardt, V. ;Rothe, M. ;Seppelt, B. ;Specht, M. 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 485 KB 👁 2 views

## Academy of Sciences of the GDR \* The term MFC is used here for such products obtained by thermic treatment of pro,-,n hydrolysates in presence of carbohydrates and other additives. The term includes all preparations which are added to meat products, soups or snacks instead of meat.