1 Jan 2019

Mancosu and van Stigt, “Intuitionistic Logic,” entry directory

 

by Corry Shores

 

[Search Blog Here. Index-tags are found on the bottom of the left column.]

 

[Central Entry Directory]

[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”

 

 

4.0

[Introductory material]

 

4.1

Brouwer

 

4.2

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