Revision history for entry Barwise, Jon (1968). "Implicit Definability and Compactness in Infinitary Languages" [BARIDA-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2011-03-21T01:39:35update
2011-03-20T11:25:22update
2011-03-20T11:25:22add