Enlaces a sitios |
|
|
| |
arXiv.org > math > math.LO The official repository for e-prints in Mathematical Logic. Maintained by Cornell University, arXiv is the primary distribution system for new research.
| Bibliography on Linear Logic by-product of the seminar on Linear Logic and Applications held at Carnegie Mellon University in Spring 1995.
|
Compulog Americas - Logic Programming in the Americas Dedicated to support and promote network research and industrial applications in the field of logic programming.
| Continuum hypothesis Mathematics hypothesis about infinite sets.
|
Dave"s Famous Original SETL Server Servidor y recursos de SETL
|
| |
Factasia Logic Technical and philosophical information concerning symbolic logic, axiom systems and its modern applications.
|
Mathematical logic - Wikipedia An encyclopedia article covering the subfields of mathematical logic, including set theory, model theory, recursion theory, and proof theory.
|
MathPages: Set Theory and Foundations Informal notes on Set Theory and the Foundations of Mathematics by Kevin Brown, part of the well-regarded MathPages collection.
|
Metamath Home Page Metamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program.
|
Programming with {SETS} forum of discussion dedicated to computational uses of set theoretic concepts.
| Set Theory (Stanford Encyclopedia of Philosophy) A comprehensive overview of set theory, its history, foundational role in mathematics, and major concepts. An authoritative resource.
|
The Continuum Hypothesis Notas del filósofo David Chalmers sobre la Hipótesis del Continuo, explorando si es verdadera, falsa o indecidible dentro del marco de la teoría de conjuntos ZFC.
| Venn Diagram Includes a database of Venn diagrams and Create-A-Venn, an interactive form that creates custom charts.
|
|
Home 
Atrás 
Arriba
