TY - JOUR
AU - Yuri Gurevich
AU - Saharon Shelah
BT - Annals of Pure and Applied Logic
LA - eng
PY - 1986
SP - 265
EP - 280
T2 - Annals of Pure and Applied Logic
TI - Fixed-point extensions of first-order logic
VL - 32
ER -