Last update: Sun Oct 15 02:39:02 MDT 2017
Top |
Symbols |
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{Cohen:1991:PLS,
author = "Jack K. Cohen",
title = "Packages for Logic and Set Theory",
journal = j-MATHEMATICA-J,
volume = "2",
number = "1",
pages = "??--??",
month = "????",
year = "1992",
CODEN = "????",
ISSN = "1047-5974 (print), 1097-1610 (electronic)",
ISSN-L = "1047-5974",
bibdate = "Sat Nov 6 13:33:36 MDT 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/mathematicaj.bib;
http://www.mathematica-journal.com/issue/v2i1/",
URL = "http://www.mathematica-journal.com/issue/v2i1/article/cohen/index.html",
acknowledgement = ack-nhfb,
journal-URL = "http://www.mathematica-journal.com/",
}
Related entries
- Cohen, Jack K.,
2(2)z-4,
5(2)z-2,
5(3)z-2,
5(4)z-4,
6(1)z-2
- logic,
1(1)85,
2(1)91,
4(1)53,
4(1)64,
4(2)38,
11(3)z-7
- package,
1(1)85,
1(1)95,
1(1)95-1,
1(1)z-7,
1(4)16,
2(1)91,
3(2)31,
3(3)z-5,
4(1)38,
4(2)44,
4(2)62,
5(1)z-4,
5(2)z-6,
5(4)8,
6(2)41,
6(2)72,
7(1)z-4,
9(2)z-8,
12(1)2,
13(z)z-1,
13(z)z-4,
13(z)z-6,
15(z)z-2,
15(z)z-7
- set,
2(1)91,
4(1)64,
4(2)54,
6(3)78,
9(2)z-10,
10(3)z,
12(1)3,
12(1)4,
13(z)z-6,
14(z)z,
14(z)z-1,
14(z)z-3,
14(z)z-4,
16(z)z-2,
16(z)z-5
- theory,
1(3)86,
2(1)91,
2(2)66,
2(2)66-1,
11(3)z-2,
15(z)z-3,
16(z)z-5,
16(z)z-7