2 KiB
2 KiB
% pandoc -f ris -t csljson
TY - BOOK
ID - Chang_Keisler_Model_Theory
AU - Chang, C. C.
AU - Keisler, H. Jerome
PY - 1990
ET - 3
TI - Model Theory
PU - North-Holland Press
PP - Amsterdam
KW - model theory
KW - logic
ER -
TY - JOUR
AU - Shannon, Claude E.
PY - 1948
DA - July
TI - A Mathematical Theory of Communication
T2 - Bell System Technical Journal
SP - 379
EP - 423
VL - 27
ER -
TY - JOUR
T1 - On computable numbers, with an application to the Entscheidungsproblem
A1 - Turing, Alan Mathison
JO - Proc. of London Mathematical Society
VL - 47
IS - 1
KW - decidability
KW - computability
SP - 230
EP - 265
Y1 - 1937
ER -
^D
[
{
"author": [
{
"family": "Chang",
"given": "C. C."
},
{
"family": "Keisler",
"given": "H. Jerome"
}
],
"edition": "3",
"id": "Chang_Keisler_Model_Theory",
"issued": {
"date-parts": [
[
1990
]
]
},
"keyword": "logic, model theory",
"publisher-place": "Amsterdam",
"title": "Model Theory",
"type": "book"
},
{
"author": [
{
"family": "Shannon",
"given": "Claude E."
}
],
"container-title": "Bell System Technical Journal",
"id": "Shannon_1948",
"issued": {
"date-parts": [
[
1948
]
]
},
"page": "379-423",
"title": "A Mathematical Theory of Communication",
"type": "article-journal",
"volume": "27"
},
{
"author": [
{
"family": "Turing",
"given": "Alan Mathison"
}
],
"container-title": "Proc. of London Mathematical Society",
"id": "Turing_1937",
"issue": "1",
"issued": {
"date-parts": [
[
1937
]
]
},
"keyword": "computability, decidability",
"page": "230-265",
"title": "On computable numbers, with an application to the Entscheidungsproblem",
"type": "article-journal",
"volume": "47"
}
]