기록 보관소

Bisimulations on Planet Kripke

by Jelle Gerbrandy

Mereology

by Cotnoir and Varzi

Belief Revision*

Truth Deflationism*

Computability and Logic

by Boolos, Burgess and Jeffrey

Properties and Propositions

by Robert Trueman

Higher-Order Logics*

Philosophy and Model Theory

by Button and Walsh

Elements of Set Theory

by Herbert Enderton

Introduction to Non-Classical Logics

by Graham Priest