- Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..details
|
|
Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..details
|
|
The foundations of mathematics.Evert Willem Beth - 1959 - Amsterdam,: North-Holland Pub. Co..details
|
|
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.details
|
|
Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.details
|
|
Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.details
|
|
Semantical analyses of propositional systems of Fitch and Nelson.Richard Routley - 1974 - Studia Logica 33 (3):283 - 298.details
|
|
Dialectical logic, classical logic, and the consistency of the world.Richard Routley & Robert K. Meyer - 1976 - Studies in East European Thought 16 (1-2):1-25.details
|
|
Dialectical logic, classical logic, and the consistency of the world.Richard Routley & Robert K. Meyer - 1976 - Studies in Soviet Thought 16 (1-2):1-25.details
|
|
Dialectical logic, semantics and metamathematics.Richard Routley - 1979 - Erkenntnis 14 (3):301 - 331.details
|
|
What is dialectic?Karl R. Popper - 1940 - Mind 49 (196):403-426.details
|
|
Studies in paraconsistent logic I: The dialectical principle of the unity of opposites.Newton C. A. Costa & Robert G. Wolf - 1980 - Philosophia 9 (2):189-217.details
|
|
A semantical Analysis of the Calculi C n.Newton C. A. Da Costa & E. H. Alves - 1977 - Notre Dame Journal Fo Formal Logic 18 (4):621-630.details
|
|
Studies in paraconsistent logic I: The dialectical principle of the unity of opposites.Newton C. A. Da Costa & Robert G. Wolf - 1980 - Philosophia 9 (2):189-217.details
|
|
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.details
|
|
A semantical analysis of the calculi Cn.Newton C. A. da Costa - 1977 - Notre Dame Journal of Formal Logic 18:621.details
|
|
alpha-models and systems T and T.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15:443.details
|
|
On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.details
|
|
A Calculus for Antinomies.F. G. Asenjo - 1966 - Notre Dame Journal of Formal Logic 16 (1):103-105.details
|
|