00269nas a2200121   4500000000100000000000100001008004100002100001800043700001900061245004800080300001200128490000700140       1986                            d1 aYuri Gurevich1 aSaharon Shelah00aFixed-point extensions of first-order logic  a265-2800 v32