Logic

Books

US	UK	Japan	Germany	France
logic	logic	論理学	Logik	logique
formal logic	formal logic	形式論理学	formale Logik	logique formelle
symbolic logic	symbolic logic	記号論理学	symbolische Logik	logique symbolique
mathematical logic	mathematical logic	数理論理学	mathematische Logik	logique mathématique
syllogistic logic	syllogistic logic	三段論法	syllogistische Logik	logique syllogistique
predicate logic	predicate logic	述語論理	Prädikatenlogik	calcul des prédicats
modal logic	modal logic	様相論理学	Modallogik	logique modale
incompleteness theorems	incompleteness theorems	不完全性定理	Unvollständigkeitssatz	théorème d'incomplétude