Skip to content

Opening book details…

Can I read Proceedings of the Herbrand Symposium: Logic Colloquium '81: proceedings of the Herbrand Symposium held in Marseilles, France, July 1981 on EtoBox?

Proceedings of the Herbrand Symposium: Logic Colloquium '81: proceedings of the Herbrand Symposium held in Marseilles, France, July 1981 by Jacques Stern; Jacques Herbrand; Logic colloquium '81; Jacques Herbrand Symposium is a nonfiction available to read on EtoBox.

What is Proceedings of the Herbrand Symposium: Logic Colloquium '81: proceedings of the Herbrand Symposium held in Marseilles, France, July 1981 about?

Content: Edited by Page iii Copyright page Page iv Dedication Page v Preface Page vii J. Stern Members of the Program Committee Page viii Jacques Herbrand Original Research Article Pages 1-2 C. Chevalley Jacques Herbrand et la Theorie Des Nombres Original Research Article Pages 3-7 J. Dieudonné Un Jour de Juillet 1931, Dans Le Massif D'oisans … Original Research Article Pages 9-10 A. Guinier Computationally Improved Versions of Herbrand's Theorem Original Research Article Pages 11-28 Wolfgang Bibel Herbrand's Theorem and Proof-Theory Original Research Article Pages 29-38 Jean-Yves Girard Finiteness Theorems in Arithmetic: An Application of Herbrand's Theorem For Σ 2 - Formulas Original Research Article Pages 39-55 G. Kreisel L'oeuvre Logique de Jacques Herbrand et son Contexte Historique Original Research Article Pages 57-85 Jean van Heijenoort Case Distinctions are Necessary for Representing polynomials as Sums of Squares Original Research Article Pages 87-103 Charles N. Delzell On Local and Non-Local Properties Original Research Article Pages 105-135 Haim Gaifman Iterating Admissibility in Proof Theory Original Research Article Pages 137-146 Gerhard Jäge

Who reads Proceedings of the Herbrand Symposium: Logic Colloquium '81: proceedings of the Herbrand Symposium held in Marseilles, France, July 1981?

It is typically read by self-directed learners exploring a subject in depth.

Common subject areas: history, science, philosophy, social sciences.

Author
Jacques Stern; Jacques Herbrand; Logic colloquium '81; Jacques Herbrand Symposium
Publisher
Elsevier Science Ltd
Published
1982
Language
EN
ISBN
9780444864178
Category
nonfiction
Subjects
Mathematics, Philosophy, Stem

Other editions & translations

More by Jacques Stern; Jacques Herbrand; Logic colloquium '81; Jacques Herbrand Symposium

Browse all works by Jacques Stern; Jacques Herbrand; Logic colloquium '81; Jacques Herbrand Symposium

Similar books