How to prove the first and second incompleteness theorem using concatenation

E. Visser, O. de Moor

Research output: Book/Report › Report › Academic

Keywords

@book{0ec807b628be49278a3685dcb389c343,

title = "How to prove the first and second incompleteness theorem using concatenation",

keywords = "Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen",

author = "E. Visser and {de Moor}, O.",

year = "1986",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "86-15",

publisher = "Unknown Publisher",

edition = "RUU-CS",

}

TY - BOOK

T1 - How to prove the first and second incompleteness theorem using concatenation

AU - Visser, E.

AU - de Moor, O.

PY - 1986

Y1 - 1986

KW - Wiskunde en Informatica (WIIN)

KW - Mathematics

KW - Informatica

KW - Landbouwwetenschappen

KW - Natuurwetenschappen

M3 - Report

SN - 0924-3275

VL - 86-15

BT - How to prove the first and second incompleteness theorem using concatenation

PB - Unknown Publisher

CY - Utrecht

ER -