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 quodlibet-cade
Warning--empty booktitle in Slater_2004_APoorConceptScriptExtd
Warning--empty publisher in Slater_2004_APoorConceptScriptExtd
Warning--empty booktitle in slater-handbook
Warning--empty publisher in slater-handbook
Warning--empty booktitle in Tarski83a
Warning--empty publisher in Tarski83a
You've used 28 entries,
            1936 wiz_defined-function locations,
            694 strings with 10185 characters,
and the built_in function-call counts, 8717 in all, are:
= -- 854
> -- 220
< -- 29
+ -- 77
- -- 64
* -- 648
:= -- 1578
add.period$ -- 103
call.type$ -- 28
change.case$ -- 156
chr.to.int$ -- 25
cite$ -- 35
duplicate$ -- 403
empty$ -- 696
format.name$ -- 94
if$ -- 1705
int.to.chr$ -- 4
int.to.str$ -- 0
missing$ -- 40
newline$ -- 157
num.names$ -- 86
pop$ -- 171
preamble$ -- 1
purify$ -- 144
quote$ -- 0
skip$ -- 281
stack$ -- 0
substring$ -- 469
swap$ -- 53
text.length$ -- 2
text.prefix$ -- 0
top$ -- 0
type$ -- 138
warning$ -- 7
while$ -- 70
width$ -- 0
write$ -- 379
(There were 7 warnings)