This is BibTeX, Version 0.99c (Web2C 7.5.4)
The top-level auxiliary file: pdf.aux
The style file: cpsnamedwithapalikesorting.bst
Database file #1: herbrandbib.bib
Warning--empty booktitle in ahrendtgiese
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 122 entries,
            1936 wiz_defined-function locations,
            1164 strings with 32919 characters,
and the built_in function-call counts, 39255 in all, are:
= -- 3879
> -- 1084
< -- 135
+ -- 355
- -- 318
* -- 3010
:= -- 7039
add.period$ -- 462
call.type$ -- 122
change.case$ -- 692
chr.to.int$ -- 113
cite$ -- 140
duplicate$ -- 1765
empty$ -- 3074
format.name$ -- 490
if$ -- 7723
int.to.chr$ -- 10
int.to.str$ -- 0
missing$ -- 176
newline$ -- 684
num.names$ -- 381
pop$ -- 745
preamble$ -- 1
purify$ -- 647
quote$ -- 0
skip$ -- 1220
stack$ -- 0
substring$ -- 2137
swap$ -- 249
text.length$ -- 18
text.prefix$ -- 0
top$ -- 0
type$ -- 588
warning$ -- 18
while$ -- 308
width$ -- 0
write$ -- 1672
(There were 18 warnings)