scientific article; zbMATH DE number 1748963
From MaRDI portal
Publication:4530611
Recommendations
- scientific article; zbMATH DE number 1183730
- From Dedekind to Gödel. Essays on the development of the foundations of mathematics
- Kurt Gödel's intellectual development. [In memoriam Kurt Gödel (28 April 1906 -- 14 January 1978)].
- scientific article; zbMATH DE number 1184435
- scientific article; zbMATH DE number 1927123
Cited in
(39)- Constructive mathematics: a foundation for computable analysis
- Logic in Russell's Principles of Mathematics
- A semantic hierarchy for intuitionistic logic
- The scope of Feferman's semi-intuitionistic set theories and his second conjecture
- Peano's axioms in their historical context
- The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900--1940
- Studies in the history of mathematical logic. An exact reproduction of the text originally published by the Polish Academy of Sciences in 1973
- scientific article; zbMATH DE number 3173696 (Why is no real title available?)
- scientific article; zbMATH DE number 3875221 (Why is no real title available?)
- FOL 75?
- Russell's completeness proof
- Object Theory Logic and Mathematics: Two Essays by Ernst Mally
- scientific article; zbMATH DE number 4063046 (Why is no real title available?)
- scientific article; zbMATH DE number 4081500 (Why is no real title available?)
- scientific article; zbMATH DE number 4095420 (Why is no real title available?)
- scientific article; zbMATH DE number 1184435 (Why is no real title available?)
- scientific article; zbMATH DE number 516877 (Why is no real title available?)
- scientific article; zbMATH DE number 663929 (Why is no real title available?)
- scientific article; zbMATH DE number 1093813 (Why is no real title available?)
- scientific article; zbMATH DE number 1943800 (Why is no real title available?)
- scientific article; zbMATH DE number 2003401 (Why is no real title available?)
- scientific article; zbMATH DE number 3001285 (Why is no real title available?)
- scientific article; zbMATH DE number 1550343 (Why is no real title available?)
- Moritz Schlick complete edition. Section II: Unpublished works. Vol. 1.3. Moritz Schlick. Lectures and notices on logic and philosophy of mathematics. Edited by Martin Lemke and Anne-Sophie Naujoks. Introduced by Martin Lemke
- Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
- Leon Chwistek, The principles of the pure type theory (1922), translated by Adam Trybus with an introductory note by Bernard Linsky
- Higher order functions and Brouwer's thesis
- Three letters on the foundations of mathematics by Frank Plumpton Ramsey
- From intuition to axiomatization of mathematics: a diachronic analysis of the didactic transposition of cardinals and ordinals
- Five stages of accepting constructive mathematics
- scientific article; zbMATH DE number 3288569 (Why is no real title available?)
- Gödel's reading of Peano's arithmetices principia
- Representations of structural closure operators
- On set theories and modernism
- Satisfiability of context-free string constraints with subword-ordering and transducers
- Non-elementary compression of first-order proofs in deep inference using epsilon-terms
- The HOL-CSP Refinement Toolkit
- HOL-CSP Version 2.0
- A Sound Type System for Physical Quantities, Units, and Measurements
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530611)
