Basket

0360435 - ÚI 2012 PL eng A - Abstract
Cintula, Petr - Metcalfe, G.
Passive Structural Completeness.
Czterdziesci lat strukturalnej zupełnosci. Wrocław: Uniwersytet Wroclawski, 2011. s. 10-10.
[Forty Years of Structural Completeness. Conference Applications of Logic in Philosophy and Foundations of Mathematics /16./. 09.05.2011-13.05.2011, Szklarska Poreba]
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : structural completeness * admissible rules * primitive variety
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0197992