|
I
I/O, 98 , 170 , 465
idle symbol, 330
implicitly typed, 198
include, vii, 16 , 68 , 80 , 97 , 147 , 164 , 224 , 237 , 244 , 250 , 259 , 270 , 349 , 457
INDUCT, 479
inference rule, 210 , 213 , 217 , 218
infinite, 3 , 26 , 36 , 38 , 59 , 130 , 223 , 302
infix, 21 , 107 , 108 , 198
inlined, 110
integer, 20 , 21 , 22 , 34 , 35 , 36 , 37 , 41 , 42 , 45 , 55 , 65 , 86 , 95 , 125 , 139 , 251 , 258 , 279 , 280 , 281 , 304 , 308 , 376 , 393 , 452 , 455 , 458 , 467 , 470
integers, 20 , 33 , 34 , 36 , 161 , 196 , 457 , 458
integrity condition, 436 , 438 , 439
internal, 113
internal expressions, 70
interpretation, 156 , 177 , 298
interpreter, 169 , 194 , 408
interval, 228
intuitionistic propositional calculus, 215
inverter, 31
isomorphic, 139
|
|
