Cargando…

Metamathematical investigation of intuitionistic arithmetic and analysis

Detalles Bibliográficos
Autor principal:	Troelstra, A
Lenguaje:	eng
Publicado:	Springer 1973
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/BFb0066739 http://cds.cern.ch/record/1690928

Ejemplares similares

Metamathematics of first-order arithmetic
por: Hajek, Petr, et al.
Publicado: (2017)

Introduction to metamathematics
por: Kleene, Stephen Cole
Publicado: (1952)

Metamathematics of fuzzy logic
por: Hájek, Petr
Publicado: (1998)

Foundations of constructive mathematics: metamathematical studies
por: Beeson, Michael J
Publicado: (1985)

An introduction to Ramsey theory: fast functions, infinity, and metamathematics
por: Katz, Matthew, et al.
Publicado: (2018)

Treatise on intuitionistic type theory
por: Granström, Johan Georg, et al.
Publicado: (2011)

Proof theory and intuitionistic systems
por: Scarpellini, Bruno
Publicado: (1971)

A short introduction to intuitionistic logic
por: Mints, Grigori
Publicado: (2002)

Arithmetic
por: Peirce, Charles S, et al.
Publicado: (1976)

Arithmetics
por: Hindry, Marc
Publicado: (2011)

Leo Esakia on duality in modal and intuitionistic logics
por: Bezhanishvili, Guram
Publicado: (2014)

Intuitionistic fuzzy information aggregation: theory and applications
por: Xu, Zeshui, et al.
Publicado: (2012)

Towards an arithmetical logic: the arithmetical foundations of logic
por: Gauthier, Yvon
Publicado: (2015)

Arithmetic and ontology: a non-realist philosophy of arithmetic
por: Hugly, Philip, et al.
Publicado: (2006)

Advanced arithmetic for the digital computer: design of arithmetic units
por: Kulisch, Ulrich W
Publicado: (2002)

Arithmetic Riemann-Roch theorem for singular arithmetic surfaces
por: Aitken, Wayne
Publicado: (1996)

Fuzzy set and its extension: the intuitionistic fuzzy set
por: Chaira, Tamalika
Publicado: (2019)

Arithmetical functions
por: Chandrasekharan, K
Publicado: (1970)

The arithmetic of infinitesimals
por: Wallis, John
Publicado: (2004)

Field Arithmetic
por: Fried, Michael D, et al.
Publicado: (2008)

Field arithmetic
por: Fried, Michael D
Publicado: (2006)

Quantization and arithmetic
por: Unterberger, Andre
Publicado: (2008)

Arithmetic Tales
por: Bordellès, Olivier
Publicado: (2012)

Arithmetic groups
por: Humphreys, James E
Publicado: (1980)

Field arithmetic
por: Fried, Michael D, et al.
Publicado: (1986)

Arithmetic geometry
por: Cornell, Gary, et al.
Publicado: (1986)

Algebraic arithmetic
por: Bell, Eric T
Publicado: (1927)

Arithmetical Investigations: Representation Theory, Orthogonal Polynomials, and Quantum Interpolations
por: Haran, Shai M J
Publicado: (2008)

Model Theory in Algebra, Analysis and Arithmetic
por: Dries, Lou, et al.
Publicado: (2014)

The arithmetic and spectral analysis of Poincaré series
por: Cogdell, James W, et al.
Publicado: (1990)

Connections between Category Theory and Algebraic Geometry & Intuitionistic Logic
por: Lawvere, F
Publicado: (1972)

A course in arithmetic
por: Serre, Jean-Pierre
Publicado: (1973)

Arithmetic applied mathematics
por: Greenspan, Donald, et al.
Publicado: (1980)

Arithmetic for the mature student
por: George, F H, et al.
Publicado: (1966)

The Theory of Arithmetic Functions
por: Gioia, Anthony, et al.
Publicado: (1972)

Puzzle papers in arithmetic
por: Boon, F C, et al.
Publicado: (1960)

Ball and surface arithmetics
por: Holzapfel, Rolf-Peter
Publicado: (1998)

Arithmetic algebraic geometry
por: Geer, G, et al.
Publicado: (1991)

Noncommutative arithmetic geometry
por: Marcolli, M
Publicado: (2003)

The Arithmetic of Elliptic Curves
por: Silverman, Joseph H
Publicado: (2009)

Cannot write session to /tmp/vufind_sessions/sess_dd2gg5cuidb1f90gfo1s6ca6le