Gödel's diagonalization technique and related properties of theories

• Autorzy: A. Macintyre , H. Simmons
• Języki publikacji: DE
• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Colloquium Mathematicum
• Rocznik: 1973
• Tom: 28
• Numer: 2
• Strony: 165-180

Daty

wydano

1973

Twórcy

autor

A. Macintyre

• Aberdeen

autor

H. Simmons

• Aberdeen