LOGIKA 11

Wrocław 1987

stron 102.

 

Stan bardzo dobry.

SPIS TREŚCI:

P. Bielak, Kryteria definiowalności dla zawierających negację fragmentów pewnych logik pośrednich.
J. Czelakowski, Remarks on Boolean extensions of models.
B. Iwanuś, Dowód zupełności pewnej teorii bezatomowych algebra Boole’a.
T. Kubiński, Some classes of elementary change theories with many change periods and many phases of events.
Z. Stachniak, Refreshed problems concerning ontology.