Member ldemol

Recent Activity

ldemol added

K-graph machines : generalizing Turing's machines and arguments by Wilfried Sieg

ldemol added

Re-presenting scientific representation by Roman Frigg

ldemol added

Gentzen Calculi for Modal Propositional Logic by Francesca Poggiolesi

ldemol added

Real-world functional programming : with examples in F# and C# by Tomas Petricek

ldemol added

Dynamics, polarity, and quantification by Makoto Kanazawa

ldemol added

Handbook of Amazonian languages by Desmond C. Derbyshire