Intuitionistic proof versus classical truth : the role of Brouwer's Creative Subject in Intuitionistic Mathematics

Main Author:	Martino, Enrico
Subjects:	Logic Mathematics -- > Philosophy Electronic books
Online Access:	http://library.unisel.edu.my/web/guest/mylibrary

Similar Items

Is god a mathematician?
by: Livio, Mario, 1945-
Published: (2009)

How we understand mathematics : conceptual integration in the language of mathematical description
by: Wozny, Jacek

The psychology of mathematics : a journey of personal mathematical empowerment for educators and curious minds
by: Norton, Anderson

Matematik tulen : pra-universiti
Published: (1994)

Matematik STPM : (statistik) sukatan S
Published: (1996)

Introduction to mathematical proofs
by: Loehr, Nicholas A

Matematik statistik STPM
by: Tong, Swee Foong
Published: (1994)

Mathematical logic : on numbers, sets, structures, and symmetry
by: Kossak, Roman

Naturalizing logico-mathematical knowledge : approaches from philosophy, psychology, and cognitive science

Proofs from THE BOOK
by: Aigner, Martin

Philosophical and mathematical logic
by: De Swart, Harrie

Truth : the basics
by: Beall, Jc

Doing mathematics : an introduction to proofs and problem solving
by: Galovich, Steven
Published: (2007)

Discrete mathematics with proof
by: Gossett, Eric
Published: (2003)

Paradoxes and inconsistent mathematics
by: Weber, Zach

Discrete mathematics : an introduction to proofs and combinatorics
by: Ferland, Kevin
Published: (2009)

Optimization theory based on neutrosophic and plithogenic sets

Exploring the infinite : an introduction to proof and analysis
by: Brooks, Jennifer

Tractatus in context : the essential background for appreciating Wittgenstein's Tractatus logico-philosophicus
by: Klagge, James Carl

Logical empiricism and the physical sciences : from philosophy of nature to philosophy of physics

What is philosophy? : a first-person perspective
by: Fumerton, Richard

Counterfactualism in the fine arts
by: Reinhuber, Elke

Discrete mathematics and its applications
by: Rosen, Kenneth H
Published: (2007)

Discrete mathematics and its applications
by: Rosen, Kenneth H
Published: (2007)

Logical labyrinths
by: Smullyan, Raymond M

A first course in mathematical logic and set theory
by: O'Leary, Michael L

International consumption comparisons : OECD versus LDC
by: Selvanathan, E. A
Published: (2003)

Classical algebra : its nature, origins, and uses
by: Cooke, Roger
Published: (2008)

Mathematics and politics : strategy, voting, power and proof
by: Taylor, Alan D

Are science and mathematics socially constructed? : a mathematician encounters postmodern interpretations of science
by: Brown, Richard C
Published: (2009)

Classical Islamic philosophy
by: Ibrahim, Taufiq
Published: (1990)

Fuzzy logic and its application in technology and management
Published: (2008)

Readings in formal epistemology : sourcebook

Discrete mathematics by example
by: Simpson, Andrew
Published: (2002)

Discrete mathematics : based on Schaum's outline of theory and problems of discrete mathematics, second edition
by: Lipschutz, Seymour
Published: (2003)

Classical and computational solid mechanics
by: Fung, Y. C
Published: (2001)

Nihilism and philosophy : nothingness, truth and world
by: Baker, Gideon

Consequences of reference failure
by: McKinsey, Michael

Discrete structures, logic, and computability
by: Hein, James L
Published: (2010)

Classical and computational solid mechanics
by: Fung, Yuan-cheng