Publication:4021575

zbMath0754.00001MaRDI QIDQ4021575

No author found.

Publication date: 16 January 1993

zbMATH Keywords

philosophical roots of a system; profound mathematics

Mathematics Subject Classification ID

00A30: Philosophy of mathematics

03A05: Philosophical and critical aspects of logic and foundations

01A65: Development of contemporary mathematics

Related Items

A sequent calculus for a negative free logic, State-of-affairs semantics for positive free logic