Proof-theoretical Coherence
Logical Reasoning: A First Course: xi
Kings College Pubns
An Introduction To Lambda Calculi For Computer Scientists
Bridges From Classical To Nonmonotonic Logic: v. 5
Torna su