TY  - BOOK
TI  -  Studia Logica: An International Journal for Symbolic Logic
PB  - Springer 
KW  - Computer Science
UR  - https://link.springer.com/journal/11225/volumes-and-issues
ER  -