In addition to the technically required cookies, our website also uses cookies for statistical evaluation. You can also use the website without these cookies. By clicking on "I agree" you agree that we may set cookies for analysis purposes. You can see and change your cookie settings here.
Finiteness theorems in arithmetic: An application of Herbrand's theorem for ...
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
1982
Enthält: 2 Sonderdrucke des Artikels "Finiteness theorems in arithmetic: An application of Herbrand's theorem for ..." aus: Proceedings of the Herbrand Symposium: Logic Colloquium '81, Held in Marseilles, France, July 1981, hg. v. J. Stern, Amsterdam 1982
