John N. Crossley

Communities of Learning: Networks and the Shaping of Intellectual Identity in Europe, 1100-1500

2011 · ENGLISH · PDF

View details →

Ars Musice: Johannes De Grocheio

2011 · ENGLISH · PDF

View details →

Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday

1993 · ENGLISH · PDF

View details →

Growing Ideas of Number (The Emergence of Number)

2007 · ENGLISH · PDF

View details →

Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

1965 · ENGLISH · PDF

View details →

Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

1965 · ENGLISH · PDF

View details →

Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965

1967 · ENGLISH · PDF

View details →

Constructive Order Types

ENGLISH · PDF

View details →

Constructive Order Types

1969 · ENGLISH · DJVU

View details →

Adapting Proofs-as-Programs : The Curry-Howard Protocol

2005 · ENGLISH · PDF

View details →

Adapting proofs-as-programs

2010 · ENGLISH · PDF

View details →

Adapting Proofs-as-Programs: The Curry-Howard Protocol

2005 · ENGLISH · PDF

View details →