TY  - BOOK
AU  - Cantini, Andrea
TI  - Logical frameworks for truth and abstraction: an axiomatic study
SN  - 0-444-82306-9
U1  - 511.3 
PY  - 1996///
CY  - Amsterdam
PB  - Elsevier
KW  - Axiomatic study
KW  - Mathematical logic
ER  -