@Article{         Mostowski1950-MOSRBA-4,
  Author        = "Mostowski, Andrzej",
  date-added    = "2021-05-23 11:56:26 +0200",
  date-modified = "2021-05-23 11:56:26 +0200",
  Journal       = "Journal of Symbolic Logic",
  Number        = "3",
  Pages         = "229--229",
  Title         = "Review: B. A. Trahtenbrot, Impossibility of an Algorithm for the Decision Problem in Finite Classes",
  Volume        = "15",
  Year          = "1950"
}

@Article{ Mostowski1950-MOSRBA-4, Author = "Mostowski, Andrzej", date-added = "2021-05-23 11:56:26 +0200", date-modified = "2021-05-23 11:56:26 +0200", Journal = "Journal of Symbolic Logic", Number = "3", Pages = "229--229", Title = "Review: B. A. Trahtenbrot, Impossibility of an Algorithm for the Decision Problem in Finite Classes", Volume = "15", Year = "1950" }