This is BibTeX, Version 0.99c (Web2C 7.5.4)
The top-level auxiliary file: all.aux
The style file: languageindependentcpsnamedwithlabelsorting.bst
Database file #1: herbrandbib.bib
Warning--empty booktitle in bernays-questions-methodologiques-actuelles
Warning--empty booktitle in dedekind-keferstein-english
Warning--empty publisher in dedekind-keferstein-english
Warning--empty booktitle in ahrendtgiese
Warning--empty booktitle in heijenoort-oeuvre-herbrand
Warning--empty booktitle in heijenoort-work-herbrand
Warning--empty publisher in heijenoort-work-herbrand
Warning--empty booktitle in helmholtz-zaehlen
Warning--empty publisher in helmholtz-zaehlen
Warning--empty booktitle in grundlagen-der-geometrie
Warning--empty publisher in grundlagen-der-geometrie
Warning--empty booktitle in hilbert-grundlagen-logik
Warning--empty booktitle in kanger
Warning--empty publisher in kanger
Warning--empty booktitle in kohlhasetableauupdated
Warning--empty publisher in kohlhasetableauupdated
Warning--empty booktitle in Kow74
Warning--empty booktitle in peanoiotabargerman
Warning--empty publisher in peanoiotabargerman
Warning--empty booktitle in dialogprojectantrag
Warning--empty publisher in dialogprojectantrag
Warning--empty booktitle in slater-handbook
Warning--empty publisher in slater-handbook
Warning--empty booktitle in wirthhilbertepsilon
Warning--empty booktitle in herbrand-handbook
Warning--empty publisher in herbrand-handbook
You've used 210 entries,
            1936 wiz_defined-function locations,
            1551 strings with 56921 characters,
and the built_in function-call counts, 65656 in all, are:
= -- 6524
> -- 1767
< -- 239
+ -- 576
- -- 516
* -- 4987
:= -- 11929
add.period$ -- 807
call.type$ -- 210
change.case$ -- 1179
chr.to.int$ -- 188
cite$ -- 236
duplicate$ -- 2945
empty$ -- 5061
format.name$ -- 790
if$ -- 12874
int.to.chr$ -- 23
int.to.str$ -- 0
missing$ -- 295
newline$ -- 1184
num.names$ -- 648
pop$ -- 1203
preamble$ -- 1
purify$ -- 1098
quote$ -- 0
skip$ -- 2048
stack$ -- 0
substring$ -- 3428
swap$ -- 429
text.length$ -- 36
text.prefix$ -- 0
top$ -- 0
type$ -- 1014
warning$ -- 26
while$ -- 511
width$ -- 0
write$ -- 2884
(There were 26 warnings)