by Corry Shores
[Search Blog Here. Index-tags are found on the bottom of the left column.]
[Mathematics, Calculus, Geometry, Entry Directory]
[Logic and Semantics, entry directory]
[Walter P. van Stigt, entry directory]
[Paolo Mancosu, entry directory]
[The Collected Brief Summaries can be found at that link.]
Entry Directory for
Paolo Mancosu & Walter P. van Stigt
“Intuitionistic Logic”
in
From Brouwer to Hilbert:
The Debate on the Foundations of Mathematics in the 1920’s
Part IV
Intuitionistic Logic
Part IV’s Introduction:
“Intuitionistic Logic”
The Emergence of the Intuitionistic Propositional Calculus
From:
Mancosu, Poalo & Stigt, Walter P. van. (1989). “Intuitionistic Logic” In: From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920’s, edited by Paolo Mancosu. Oxford: Oxford University.
.
No comments:
Post a Comment