Intuitionism :

Intuitionism : an introduction

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Heyting, A. (Arend), 1898-1980
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Amsterdam : North-Holland, 1956.
Σειρά:	Studies in logic and the foundations of mathematics
Θέματα:	Intuitionistic mathematics.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Intuitionism :
από: Heyting, A. (Arend) 1898-
Δημοσίευση: (1971)

Principles of intuitionism
από: Troelstra, A. S. (Anne Sjerp)
Δημοσίευση: (1969)

The foundations of intuitionistic mathematics :
από: Kleene, Stephen Cole 1909-
Δημοσίευση: (1965)

Axiomatic projective geometry
από: Heyting, A. (Arend), 1898-1980
Δημοσίευση: (1963)

Mathematische hilfsmittel des ingnieurs
από: Sauer, R. (Robert) 1898-
Δημοσίευση: (1967)

The game of logic
από: Carroll, Lewis, 1832-1898
Δημοσίευση: (1958)

A tangled tale
από: Carroll, Lewis, 1832-1898
Δημοσίευση: (1958)

Mathematicsl recreations of Lewis Carroll
από: Carroll, Lewis, 1832-1898, κ.ά.
Δημοσίευση: (1958)

The MAA problem book II :
από: Salkind, Charles T., 1898-1968
Δημοσίευση: (1966)

The contest problem book :
από: Salkind, Charles T., 1898-1968
Δημοσίευση: (1961)

Zwischen Raum und Zahl :
από: Menninger, Karl, 1898-1963
Δημοσίευση: (1960)

Mathematik II
από: Behnke, Heinrich, 1898-1979
Δημοσίευση: (1966)

The contest problem book III :
από: Salkind, Charles T., 1898-1968
Δημοσίευση: (1973)

The mathematics of voting and elections :
από: Hodge, Jonathan K. 1980-
Δημοσίευση: (2005)

Logique sans peine
από: Carroll, Lewis, 1832-1898
Δημοσίευση: (1966)

Η κρίσις των αρχών της ελληνικής μαθηματικής επιστήμης
από: Hasse, Helmut, 1898-1979, κ.ά.
Δημοσίευση: (1934)

Optimization theory with applications
από: Pierre, Donald A.
Δημοσίευση: (1986)

Maths for map makers
από: Allan, A. L. (Arthur Laidlaw), 1930-
Δημοσίευση: (2004)

On the martingale problem for interactive measure-valued branching diffusions
από: Perkins, Edwin Arend 1953-
Δημοσίευση: (1995)

Equality, resemblance, and order
από: Schreider, IU. A. (IUlii Anatolʹevich)
Δημοσίευση: (1975)

Το δυαδικό και άλλα αριθμητικά συστήματα :
από: Γιαννόπουλος, Γιάννης Γ., 1898-1984
Δημοσίευση: (1971)

Finite mathematics for management, life, and social sciences
από: Barnett, Raymond A.
Δημοσίευση: (1981)

Geometries of sporadic groups I, Petersen and tilde geometries
από: Ivanov, A. A.
Δημοσίευση: (1999)

Applied population ecology :
από: Gutierrez, A. P.
Δημοσίευση: (1996)

Lectures on Hilbert cube manifolds
από: Chapman, T. A. (Thomas A.), 1940-
Δημοσίευση: (1976)

Discrete Mathematics
από: Ross, Kenneth A.
Δημοσίευση: (1992)

Applied Optimal Control Theory of Distributed Systems
από: Lurie, K. A.
Δημοσίευση: (1993)

The exponential map at an isolated singular point
από: Stone, David A.
Δημοσίευση: (1982)

Operations research :
από: Jensen, Paul A.
Δημοσίευση: (2003)

The axiomatic method :
από: Lightstone, A. H.
Δημοσίευση: (1964)

Ingenious mathematical problems and methods
από: Graham, L. A.
Δημοσίευση: (1959)

Στοιχεία :
από: Σταμάτης, Ευάγγελος Σ., (γ.1898)
Δημοσίευση: (1975)

Θεωρία αριθμών :
από: Σταμάτης, Ευάγγελος Σ., (γ.1898)
Δημοσίευση: (1953)

The new world of mathematics
από: Boehm, George A. W.
Δημοσίευση: (1959)

Soil nutrient bioavailability :
από: Barber, Stanley A.
Δημοσίευση: (1984)

The core of mathematics :
από: Moakes, A. J. (Arthur John)
Δημοσίευση: (1964)

Basic pure mathematics II
από: Lue, A. S. T. (Abraham Sek-Tong)
Δημοσίευση: (1974)

Mathematics in nature :
από: Adam, John A.
Δημοσίευση: (2003)

The nature of mathematical modeling
από: Gershenfeld, Neil A.
Δημοσίευση: (1999)

The mathematics of Oz :
από: Pickover, Clifford A.
Δημοσίευση: (2007)