Last update: Wed Sep 26 02:07:32 MDT 2018
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Myers:1990:CRM,
author = "J. Paul {Myers, Jr.}",
title = "The central role of mathematical logic in computer
science",
journal = j-SIGCSE,
volume = "22",
number = "1",
pages = "22--26",
month = feb,
year = "1990",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/319059.319071",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:12 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
acknowledgement = ack-nhfb,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
}
Related entries
- central,
22(2)15,
24(1)138,
24(1)309,
27(1)1,
27(1)159,
27(4)9,
28(3)9,
29(1)53,
29(1)58,
29(1)345,
29(2)2,
30(1)25,
30(1)194,
30(1)341,
31(2)55,
31(3)44,
31(4)35
- logic,
23(1)184,
25(1)20,
25(3)19,
26(1)183,
27(1)19,
27(1)168,
27(1)223,
27(1)228,
27(1)307,
27(1)331,
27(1)384,
27(3)53,
27(4)13,
28(1)47,
28(1)53,
28(1)58,
29(2)35,
29(3)42,
29(3)120,
30(1)166,
30(1)370,
30(1)376,
31(1)100,
31(1)237,
31(3)88,
31(3)211
- mathematical,
25(1)20,
25(1)78,
25(4)5,
26(1)290,
27(1)199,
27(1)263,
27(1)355,
28(z)231,
29(1)238,
29(1)258,
29(4)57,
30(1)77,
30(1)97,
30(1)202,
30(1)252,
30(1)350,
30(1)365,
30(3)130,
30(3)232,
31(1)110,
31(2)28,
31(3)175,
31(4)32,
31(4)35
- Myers, Jr., J. Paul,
24(1)63,
25(1)294,
30(2)53,
30(4)32,
31(1)362
- role,
22(2)2,
22(2)5,
22(2)59,
24(1)235,
24(1)246,
24(2)59,
24(3)35,
25(1)78,
26(1)258,
26(1)319,
26(1)410,
26(2)52,
26(3)17,
27(1)1,
27(1)248,
27(1)292,
27(2)7,
28(1)42,
28(1)112,
28(1)217,
28(3)12,
29(1)63,
29(1)277,
29(1)282,
29(1)310,
29(3)51,
29(3)59,
29(4)30,
30(1)73,
30(1)145,
30(1)166,
30(1)171,
30(1)198,
30(1)252,
30(1)302,
30(1)341,
30(1)370,
30(2)53,
30(3)108,
30(3)162,
31(1)73,
31(1)141,
31(1)160,
31(1)203,
31(3)200,
31(4)35,
31(4)48,
31(4)121