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:1992:PLS,
author = "J. Cohen",
title = "Packages for Logic and Set Theory",
journal = j-MATHEMATICA-J,
volume = "2",
number = "1",
pages = "91--93",
year = "1992",
ISSN = "1047-5974 (print), 1097-1610 (electronic)",
ISSN-L = "1047-5974",
bibdate = "Sat Apr 6 16:22:43 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/mathematica.bib;
http://www.math.utah.edu/pub/tex/bib/mathematicaj.bib",
acknowledgement = ack-ble,
journal-URL = "http://www.mathematica-journal.com/",
}
Related entries
- Cohen, J.,
2(2)62
- logic,
1(1)85,
2(1)z-4,
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)z-4,
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)z-4,
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)z-4,
2(2)66,
2(2)66-1,
11(3)z-2,
15(z)z-3,
16(z)z-5,
16(z)z-7