كتب بواسطة Peter Dybjer - BookPine

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf

Peter Dybjer

Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-LF

Peter Dybjer

Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Peter Dybjer

Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings

Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings

David H. Pitt