Publication:4820591

zbMath1053.03002MaRDI QIDQ4820591

Janusz Czelakowski

Publication date: 15 October 2004

Mathematics Subject Classification ID

01A60: History of mathematics in the 20th century

03-03: History of mathematical logic and foundations

03B22: Abstract deductive systems

Related Items

Coproduct and amalgamation of deductive systems by means of ordered algebras