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

A. Macintyre; H. Simmons

Colloquium Mathematicae (1973)

  • Volume: 28, Issue: 2, page 165-180
  • ISSN: 0010-1354

How to cite

top

A. Macintyre, and H. Simmons. "Gödel's diagonalization technique and related properties of theories." Colloquium Mathematicae 28.2 (1973): 165-180. <http://eudml.org/doc/265024>.

@article{A1973,
author = {A. Macintyre, H. Simmons},
journal = {Colloquium Mathematicae},
language = {ger},
number = {2},
pages = {165-180},
title = {Gödel's diagonalization technique and related properties of theories},
url = {http://eudml.org/doc/265024},
volume = {28},
year = {1973},
}

TY - JOUR
AU - A. Macintyre
AU - H. Simmons
TI - Gödel's diagonalization technique and related properties of theories
JO - Colloquium Mathematicae
PY - 1973
VL - 28
IS - 2
SP - 165
EP - 180
LA - ger
UR - http://eudml.org/doc/265024
ER -

NotesEmbed ?

top

You must be logged in to post comments.