TY  - BOOK
AU  - Stoltenberg
TI  - Logic Colloquium'03
SN  - 9781568812946
U1  - 511.3 STO 
PY  - 0000///USA
CY  - 2005
PB  - ASL
ER  -