TY  - BOOK
AU  - Krivine Jean-Louis
TI  - Introduction to axiomatic set theory
U1  - B25, L13 
PY  - 1971///
KW  - Higher algebra
ER  -