Catálogo de publicaciones - libros
Título de Acceso Abierto
Paul Lorenzen: Mathematician and Logician
Parte de: Logic, Epistemology, and the Unity of Science
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
Lorenzen on Constructive Mathematics; Application to Constructive Measure Theory; Lorenzeṇ’s Work on Lattice-groups and Divisibility Theory; Krull’s Fundamentalsatz for Integral Domains; Modern Set Theory and Lorenzen’s Critique of Actual Infinity; Grundlagenforschung; Lorenzen’s Consistency Proof and Hilbert’s Larger Programme; Lorenzen's Dialogue Game; Game Semantics for Substructural Logics; Constructive Examination of a Russell-style Ramified Type Theory; Operative Justification of Logic and Mathematics; Lorenzen on Proof-theoretic Semantics; Lorenzen on Databank Management; Lorenzen on Stochastics; Russell-style Ramified Type Theory; Lorenzen and Erlangen School of Methodical Constructivism
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No requiere | Directory of Open access Books |
|
Información
Tipo de recurso:
libros
País de edición
Reino Unido
