Author Index
Author Index Alagic, S. 104 -Eukasiewics 172 Arbib, M. A. 104 McCuIloch, Warren 126 Boden, Margaret 43 De Morgan, Augustus 11 Boole, George 3 Newman, James R. 178 Cantor, Georg 161 Nilsson, N. J. 126 Descartes, Rene 5 Peano, Giuseppe 34 Euclid 4 Peterson, G. R. 126 Euler, Leonhard 178 Pitts, WaIter 126 Fibonacci 96 Stone, MarshaIl 160 Hill, F. J. 126 Vacroux, A. G. 124 Leonardo of Pisa 96 Venn, John 7 Notation Index .- 1 An 19 xdiv y 2 A~B 19, 160 xmody 2 g·f 20 Z 2 A 20,41 N 3 /\ 47,112 XEA 3 1\ 156 x$A 3 XA 21 PA 3, 111 Q 23 cp 3 .1 23, 158 AcB 3 Pfn[A, B] 23 D 5 ..:... 23 AxB 5 ~ 25 R 5 R 25 2A 6 Ixl 29 IAI 6, 160, 161 n! 35 &l'A 6 (J 38,48,177 AuB 7,43,201 X* 41 AnB 8 In 41 A-B 8 A·B 43,201 Al + ... + An 8 A* 43,44,201 V 47,113 8 U Ai 155 l'5.is.n V 15 48 A 9 qo 48 rnn 12 15* 49,204 f(A) 16 T(M) 50 f:A -+ B 16 v-+w l lw 2 1···IWn 55 a Hf(a) 16 =• 55 n 19 = 55 212 Notation Index .. - 59 O'(n) 115 X* 60 $m 115 e 60 plq 122 {} 63 NAND 122 T 65 NAND-gate 122 ISATOM 66 NOR 123 HEAD 67 L 123 TAIL 67 (P L q) 123 CONS 68 NOR-gate 127 CAR 68 COND 129 CDR 68 A=> B 132 EQ 68 = 133 EQUAL 68 p => q 135 COND 68 (Vx) 141 LxJ 78 (3x) 141 P(n, r) 82 R:A~A 146 nPr 82 ~A 146 nCr 83 n : n' mod m 146 (~) 83 id A 146 T 111 [a] 147 F 111 A modulo: 149 NOT 112 AI: 149 AND 112 :=:; 150 OR 112 Pfo 151 $ 112 (A, v, A) 157 15 112 T 158 -,p 112 ~o 162 NOT-gate 114 ScopeT(v) 169 AND-gate 114 v(w) 169 OR-gate 114 nn 170 max 114 c5 w 171 min 114 0'0 177 Zm 115 0'1 177 n mod m 115 T(M) 200 Subject Index A axiomatization 138 complete 140 absolute value 29 sound 139
[Show full text]