|
|
Jonathan Livingston Seagull |
|
Types and Programming Languages |
|
|
賴柏英 - Lin Yutang
- 宋碧雲 (translator)
|
|
|
|
|
Beyond the Limits of Thought |
Type Theory and Formal Proof: An Introduction - Rob Nederpelt
- Herman Geuvers
|
|
|
Basic Proof Theory - Anne S. Troelstra
- H. Schwichtenberg
|
Gödel, Escher, Bach: an Eternal Golden Braid |
The Sublime Object of Ideology |
The Right to Sex: Feminism in the Twenty-First Century |
|
|
|
|
|
The Metamorphosis - Franz Kafka
- Willa Muir (translator)
- Edwin Muir (translator)
|
Axiomatic Theories of Truth |
An Introduction to Substructural Logics |
|
|
白馬嘯西風 Swordswoman Riding West on White Horse - Jin Yong
- Nguyễn Duy Chính (Translator)
|
|
|
|
|
飛狐外傳(全二冊)Young Flying Fox |
|
The Yablo Paradox: An Essay on Circularity |
The Little Prince - Antoine de Saint-Exupéry
- Richard Howard (Translator)
|
All About Love: New Visions |
|
|
|
Logic and Theism: Arguments for and against Beliefs in God |
|
|
|
|
|
The Lies that Bind: Rethinking Identity |
The Sickness Unto Death: A Christian Psychological Exposition for Upbuilding and Awakening |
|
The Stranger - Albert Camus
- Matthew Ward (Translator)
|
|
|