Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
MacIntyre, Angus J., Pacholski, Leszek and Paris, Jeffrey Bruce, eds. 1978. Logic Colloquium ’77. Studies in Logic and the Foundations of Mathematics n. 96. Amsterdam: North-Holland Publishing Co.