https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/from-multisets-to-sets-in-homotopy-type-theory/71484F78ACEB6503EDF85D2715ABC2F4
FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY | The Journal of Symbolic Logic | Cambridge Core
FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY - Volume 83 Issue 3
the journal of symbolic logic
https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/on-unsuperstable-theories-in-gdst/C63C5575AADD6E8BCBF0E716C925EA7B
ON UNSUPERSTABLE THEORIES IN GDST | The Journal of Symbolic Logic | Cambridge Core
ON UNSUPERSTABLE THEORIES IN GDST - Volume 89 Issue 4
the journal of symbolic logic
https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/computability-orders-and-solvable-groups/4CBD365675105A72154F5960A232FCE7
COMPUTABILITY, ORDERS, AND SOLVABLE GROUPS | The Journal of Symbolic Logic | Cambridge Core
COMPUTABILITY, ORDERS, AND SOLVABLE GROUPS - Volume 85 Issue 4
the journal of symbolic logicsolvable groups
https://www.cambridge.org/core/journals/journal-of-symbolic-logic/all-issues
All issues | The Journal of Symbolic Logic | Cambridge Core
All issues of The Journal of Symbolic Logic - Steve Awodey (Coordinating Editor)
the journal of symbolic logicall issuescambridgecore