DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Jacques Herbrand
Jacques Herbrand
Curtis Frank Review
• Hermann Weyll, 1927. Comments on Hilbert's
History of Valuation Theory Part I
On the History of Artin's L-Functions and Conductors Seven Letters from Artin to Hasse in the Year 1930
Arxiv:0902.4682V5 [Cs.LO] 27 May 2014
Review of Ecrits Logiques by Jacques Herbrand
Arxiv:1807.08416V3
Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars
Topics in Logic Proof Theory
Scientific Report for 2009 ESI the Erwin Schrödinger International
Emmy Noether and Her Contributions to Commutative Algebra
Jacques Herbrand Und Sein Lemma
Gödel's Correspondence on Proof Theory and Constructive Mathematics
La Place De Jacques Herbrand Dans La Théorie Des Nombres De L'entre-Deux-Guerres
Herbrand's Theorem
Jacques Herbrand (1908 - 1931) Principal Writings in Logic
Review of Ecrits Logiques by Jacques Herbrand
Top View