TY  - BOOK
TI  - Structures and assertions
SN  - 0-8028-4194-5
PY  - 1996///
CY  - Grand Rapids 
PB  - William B. Eerdmans Publishing Company
N1  - Бібліогр. в кінці статей, Index
ER  -