Kenneth A. Bowen · 5 obras en el catálogoObrasLogic programmingMModel theory for modal logicModel theory for modal logicTThe relative consistency of some consequences of the existenThe relative consistency of some consequences of the existence of measurable cardinal numbersSpeaking PascalProlog and expert systems
TThe relative consistency of some consequences of the existenThe relative consistency of some consequences of the existence of measurable cardinal numbers
