Discovering Counterexamples (and Proof Ingredients) for Knuth-likek-Principles Moritz F¨ urneisen and Janis Voigtl¨ander University of Bonn

First Page		Document Content
Date: 2016-08-01 05:50:10 Constructible universe Maths24		Discovering Counterexamples (and Proof Ingredients) for Knuth-likek-Principles Moritz F¨ urneisen and Janis Voigtl¨ander University of Bonn Add to Reading List Source URL: www.janis-voigtlaender.eu Download Document from Source Website File Size: 250,02 KB Share Document on Facebook