MSCMSC
- [+]00-XXGeneral
- [-]01XXXHistory and Foundations
- [+]06XXXAlgebra
- [+]26XXXAnalysis
- [+]5XXXXGeometry and Topology
- [+]60XXXProbability and Statistics
- [+]65-XXNumerical analysis
- [+]68-XXComputer science
- [+]7XXXXApplications
- [+]97-XXMathematics education
- 03-XXAllgemeines und Nachschlagewerke
- 03-00General reference works (handbooks, dictionaries, bibliographies, etc.)
- 03-01Instructional exposition (textbooks, tutorial papers, etc.)
- 03-02Research exposition (monographs, survey articles)
- 03-03Historical
- 03-04Explicit machine computation and programs
- 03-06Proceedings, conferences, collections, etc.
- 03A05Philosophical and critical
- [-]03BXXGeneral logic
- [+]03CXXModel theory
- [+]03DXXComputability and recursion theory
- [+]03EXXSet theory
- [+]03FXXProof theory and constructive mathematics
- [+]03GXXAlgebraic logic
- [+]03HXXNonstandard models
- 03B05Classical propositional logic
- 03B10Classical first-order logic
- 03B15Higher-order logic and type theory
- 03B20Subsystems of classical logic (including intuitionistic logic)
- 03B22Abstract deductive systems
- 03B25Decidability of theories and sets of sentences
- 03B30Foundations of classical theories (including reverse mathematics)
- 03B35Mechanization of proofs and logical operations
- 03B40Combinatory logic and lambda-calculus
- 03B42Logic of knowledge and belief
- 03B44Temporal logic
- 03B45Modal logic
- 03B47Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
- 03B48Probability and inductive logic
- 03B50Many-valued logic
- 03B52Fuzzy logic; logic of vagueness
- 03B53Logics admitting inconsistency (paraconsistent logics, discussive logics, etc.)
- 03B55Intermediate logics
- 03B60Other nonclassical logic
- 03B65Logic of natural languages
- 03B70Logic in computer science
- 03B80Other applications of logic
- 03B99None of the above, but in this section
Ihr Browser scheint kein JavaScript zu unterstützen. Ohne JavaScript kann es bei Anfragen mit vielen Ergebnissen eine Minute dauern, bis alle Ergebnisse verfügbar sind. Wir empfehlen daher, für die Suchfunktion JavaScript zu aktivieren.
Es gab keine Suchergebnisse für Ihre Anfrage.