scientific article; zbMATH DE number 896241
From MaRDI portal
Publication:4883903
zbMATH Open0853.01025MaRDI QIDQ4883903FDOQ4883903
Authors: Antonino Drago 
Publication date: 6 January 1997
Title of this publication is not available (Why is that?)
Recommendations
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)
Cited In (5)
- Wittgenstein versus Poincaré on proofs by induction
- Poincaré and Prawitz on mathematical induction
- Mathematical induction in ramified type theory
- Vasiliev's paraconsistent logic interpreted by means of the dual role played by the double negation law
- Pluralism in logic: the square of opposition, Leibniz principle of sufficient reason and Markov's principle
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4883903)
