Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Lectures on Jacques Herbrand as a Logician   We give some lectures on the work on formal logic of Jacques Herbrand, and
sketch his life and his influence on automated theorem proving. The intended
audience ranges from students interested in logic over historians to logicians.
Besides the well-known correction of Herbrand's False Lemma by Goedel and
Dreben, we also present the hardly known unpublished correction of Heijenoort
and its consequences on Herbrand's Modus Ponens Elimination. Besides Herbrand's
Fundamental Theorem and its relation to the Loewenheim-Skolem-Theorem, we
carefully investigate Herbrand's notion of intuitionism in connection with his
notion of falsehood in an infinite domain. We sketch Herbrand's two proofs of
the consistency of arithmetic and his notion of a recursive function, and last
but not least, present the correct original text of his unification algorithm
with a new translation.

36
The categories of this paper are: cmp-lg
19
The categories of this paper are: eess
37
The categories of this paper are: supr-con
11
The categories of this paper are: hep-lat
23
The categories of this paper are: solv-int
4
The categories of this paper are: cond-mat
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
9
The categories of this paper are: nlin
10
The categories of this paper are: q-bio
31
The categories of this paper are: ao-sci
8
The categories of this paper are: hep-ex
33
The categories of this paper are: plasm-ph
35
The categories of this paper are: mtrl-th