Search
Feedback
About
Help
News
| Listing 1 - 6 of 6 |
Sort by
|
Book
ISBN: 9783887226862 Year: 2007 Publisher: Bremen Universitätsdruckerei
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- 510.2 --- Foundations of mathematics --- 510.2 Foundations of mathematics --- Mathematics --- Ontology --- Being --- Philosophy --- Metaphysics --- Necessity (Philosophy) --- Substance (Philosophy) --- Logic of mathematics --- Mathematics, Logic of --- Math --- Science --- Methodology
Book
ISBN: 9783887226879 Year: 2007 Publisher: Bremen Universitätsdruckerei
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- 510.2 --- Foundations of mathematics --- 510.2 Foundations of mathematics --- Axioms --- Set theory --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Logic, Symbolic and mathematical --- Mathematics --- Geometry --- Parallels (Geometry) --- Philosophy --- Foundations
Book
ISBN: 3887225783 Year: 2003 Publisher: Bremen Universitatsdruckerei Bremen
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Recursive functions. --- Algorithms. --- Godel's theorem. --- Gödel's incompleteness theorem --- Undecidable theories --- Arithmetic --- Completeness theorem --- Incompleteness theorems --- Logic, Symbolic and mathematical --- Number theory --- Decidability (Mathematical logic) --- Algorism --- Algebra --- Functions, Recursive --- Algorithms --- Recursion theory --- Foundations --- Gödel's theorem --- Recursive functions
Book
ISBN: 3887224388 Year: 1999 Publisher: Bremen Universitätsdruckerei
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Logic, Symbolic and mathematical --- Mathematics --- -Math --- Science --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Philosophy --- Logic, Symbolic and mathematical. --- Philosophy. --- -Philosophy --- -Algebra of logic --- Math --- Logic of mathematics --- Mathematics, Logic of --- Logique mathématique. --- Type theory --- Théorie des types --- Type theory. --- Théorie des types --- Sémantique --- Théorie des ensembles --- Logique mathematique --- Logique mathématique --- Calculabilite --- Logique des prédicats
Book
ISBN: 0138220727 Year: 1982 Publisher: Englewood Cliffs Prentice-Hall
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0138232040 Year: 1988 Publisher: Englewood Cliffs (N.J.) : Prentice-Hall,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 6 of 6 |
Sort by
|