Predicative Arithmetic. (MN-32)

Arithmetic;Constructive mathematics;sähkökirjat;MATHEMATICS;Mathematics, other;Mathematik

Nelson, Edward - Princeton University Press 1987 Course Book.

Collected works. / Publications 1929-1936 Volume I

Logic, Symbolic and mathematical;e-böcker

Gödel, Kurt;Feferman, Solomon - Oxford University Press 1986

Banach-Tarski paradox, The

Banach-Tarski paradox;Decomposition (Mathematics);Measure theory;e-böcker

Wagon, S - Cambridge University Press 1985

Computation and automata

Computable functions;Computational complexity;Sequential machine theory;e-böcker

Salomaa, Arto - Cambridge University Press 1985

Geometry of fractal sets, The

Fractals;Geometric measure theory

Falconer, K. J - Cambridge University Press 1985

Surveys in set theory

Set theory;e-böcker

Mathias, A. R. D - Cambridge University Press 1983

Coding the universe

Axiomatic set theory;Logic, Symbolic and mathematical;e-böcker

Beller, A;Jensen, Ronald Björn;Welch, P - Cambridge University Press 1982

Core model, The

Axiomatic set theory;Logic;e-böcker

Dodd, A - Cambridge University Press 1982

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979

Recursion theory;kokousjulkaisut;e-böcker;konferenspublikationer;Conference proceedings

Drake, F. R;Wainer, S. S - Cambridge University Press 1980

Descriptive set theory

Descriptive set theory;sähkökirjat

Moschovakis, Yiannis N - North-Holland 1980

Elementary Set Theory, Part I

Set theory;Mathematics;sähkökirjat

Leung, Kam-tim;Chen, Doris Lai-chue - Hong Kong University Press 1979

Elements of set theory

Set theory

Enderton, Herbert B - Academic Press 1977

Theory of logical types, The

Type theory

Copi, Irving M - Routledge & Kegan Paul 1971

Strict finitism : An examination of Ludwig Wittgenstein's "Remarks on the foundations of mathematics"

Wittgenstein, Ludwig / Bemerkungen über die Grundlagen der Mathematik;sähkökirjat

Kielkopf, Charles F - De Gruyter Mouton 1970 Reprint 2016

Set theory and its logic

Axiomatic set theory;Logic, Symbolic and mathematical;Ensembles, Théorie axiomatique des;Logique symbolique et mathématique;MATHEMATICS;sähkökirjat

Quine, W. V - Belknap Press of Harvard University Press 1969 Rev. ed.

Elementary set theory, parts I and II

Set theory;Mathematics;sähkökirjat

Leung, Kam-tim;Chen, Doris Lai-chue - Hong Kong University Press 1967

Logistics and Industrial Informatics, 2007. LINDI 2007. International Symposium on

Elementos básicos de matemáticas con herramientas interactivas

- Fondo Editorial Universidad Católica Luis Amigó