Weak König's Lemma and Extensional Equality Diplomarbeit der philosophisch-naturwissenschaftlichen Fakultät

Theo Burri, Gerhard Jäger
unpublished
fatcat:zgtm4pqb7va7lmjlr5qsvp5bei