GitHub CreateEvent at 2014-05-17 07:08:24
Repository: math-logic-ehrenfeucht
Actor: blargoner
Payload: ref: master
ref_type: branch
master_branch: master
description: Notes on Ehrenfeucht's game-theoretic characterization of first-order elementary equivalence
pusher_type: user