Cargando…

Foundations of constructive mathematics: metamathematical studies

Detalles Bibliográficos
Autor principal:	Beeson, Michael J
Lenguaje:	eng
Publicado:	Springer 1985
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-3-642-68952-9 http://cds.cern.ch/record/1617925

Ejemplares similares

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

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

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

Metamathematical investigation of intuitionistic arithmetic and analysis
por: Troelstra, A
Publicado: (1973)

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

Foundations of computational mathematics
por: Cucker, Felipe, et al.
Publicado: (2009)

Foundations of applied mathematics
por: Greenberg, Michael D
Publicado: (1978)

Foundation course in mathematics
por: Kumar, Ajit, et al.
Publicado: (2017)

The logical foundations of mathematics
por: Hatcher, William S, et al.
Publicado: (1981)

Foundations of mathematical physics
por: Hassani, Sadri
Publicado: (1991)

Mathematical Foundations of Neuroscience
por: Ermentrout, G Bard, et al.
Publicado: (2010)

Remarks on the foundations of mathematics
por: Wittgenstein, Ludwig, et al.
Publicado: (1967)

Foundations of Mathematical Analysis
por: Ponnusamy, S
Publicado: (2012)

Mathematical foundation of quantum mechanics
por: Parthasarathy, K R
Publicado: (2005)

Mathematical foundations of computational electromagnetism
por: Assous, Franck, et al.
Publicado: (2018)

Mathematical foundations of game theory
por: Laraki, Rida, et al.
Publicado: (2019)

Wittgenstein, finitism, and the foundations of mathematics
por: Marion, Mathieu
Publicado: (2008)

Mathematical foundation of computer science
por: Singh, YN
Publicado: (2005)

Introduction to the foundations of applied mathematics
por: Holmes, Mark H
Publicado: (2009)

Mathematical foundations of information retrieval
por: Dominich, Sándor
Publicado: (2001)

Mathematical and algorithmic foundations of the Internet
por: Luccio, Fabrizio, et al.
Publicado: (2012)

Foundation mathematics for the physical sciences
por: Riley, K F, et al.
Publicado: (2011)

Mathematical foundations of network analysis
por: Slepian, Paul
Publicado: (1968)

Mathematical foundations for communication engineering
por: Cattermole, Kenneth William
Publicado: (1986)

Mathematical foundations of information theory
por: Khinchin, Aleksandr Yakovlevich
Publicado: (2013)

Mathematical foundations of computer networking
por: Keshav, Srinivasan
Publicado: (2012)

Mathematical foundation for computer science
por: Vashanti, M
Publicado: (2013)

The foundations of mathematics in the theory of sets
por: Mayberry, John P
Publicado: (2001)

Introduction to the foundations of applied mathematics
por: Holmes, Mark H
Publicado: (2019)

Conceptions of set and the foundations of mathematics
por: Incurvati, Luca
Publicado: (2020)

Mathematical foundations for data analysis
por: Phillips, Jeff M
Publicado: (2021)

Harvey Friedman's Research on the Foundations of Mathematics
por: Harrington, L A, et al.
Publicado: (1985)

Mathematical foundations of nature-inspired algorithms
por: Yang, Xin-She, et al.
Publicado: (2019)

Feferman on foundations: logic, mathematics, philosophy
por: Jäger, Gerhard, et al.
Publicado: (2017)

Mathematical logic: foundations for information science
por: Li, Wei
Publicado: (2014)

Mathematical foundations and applications of graph entropy
por: Dehmer, Matthias, et al.
Publicado: (2016)

Mathematical foundations of image processing and analysis
por: Pinoli, Jean-Charles
Publicado: (2014)

General systems theory: mathematical foundations
por: Mesarovic, Mihajlo D, et al.
Publicado: (1975)

Essays on the Foundations of Mathematics by Moritz Pasch
por: Pollard, Stephen
Publicado: (2010)

Dynamics of Information Systems Mathematical Foundations
por: Sorokin, Alexey, et al.
Publicado: (2012)

Cannot write session to /tmp/vufind_sessions/sess_76kv529plq5qgukf26h53lbuvr