@base . a ; . . a ; "1079-8986" ; . a , ; "Bulletin of symbolic logic" . "United States" . a ; "20230223073505.942912"^^ ; ; . a . , ; "Bulletin of symbolic logic." ; ; ; ; ; ; ; "Bulletin of symbolic logic" , "Bulletin of symbolic logic." ; .