Publication:5311058
From MaRDI portal
zbMath1081.03012MaRDI QIDQ5311058
Carlos Caleiro, Ricardo Gonçalves
Publication date: 22 August 2005
03B22: Abstract deductive systems
Related Items
zbMath1081.03012MaRDI QIDQ5311058
Carlos Caleiro, Ricardo Gonçalves
Publication date: 22 August 2005
03B22: Abstract deductive systems
Related Items