Similar to プリンキピア・マテマティカ
青色本・茶色本
Blue and Brown Books
算術の基礎
The Foundations of Arithmetic
論理哲学論考
Tractatus Logico-Philosophicus
ゲーデル、エッシャー、バッハ
Gödel, Escher, Bach
アナーキー・国家・ユートピア
Anarchy, State, and Utopia
イデオロギーとユートピア
Ideology and Utopia
科学的発見の論理
The Logic of Scientific Discovery
言語・真理・論理
Language, Truth, and Logic
過程と実在
Process and Reality
概念記法
Begriffsschrift
形式の法則
Laws of Form
ノヴム・オルガヌム
Novum Organum
論理学体系
A System of Logic
Materials for the Study of the Ainu Language and Folklore
愛するということ (エーリヒ・フロム)
The Art of Loving
一外交官の見た明治維新
オリエンタリズム (サイード)
Orientalism (book)
カクテル（混合酒調合法）
悲しき熱帯 (レヴィ・ストロース)
Tristes Tropiques
完全なる結婚
Ideal Marriage: Its Physiology and Technique
アッカーマン関数
Ackermann function
アリティ
Arity
型理論
Type theory
カット除去定理
Cut-elimination theorem
議論領域
Domain of discourseクレイグの補間定理
Craig interpolation
後者関数
Successor function
恒真式
Tautology (logic)