Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Cotolerant Sequence
CHF 42.80
Auf Lager
SKU
3LNVSP04ABB
1 Verfügbar 
Geliefert zwischen Do., 05.02.2026 und Fr., 06.02.2026
Details
High Quality Content by WIKIPEDIA articles! Mathematical logic (formerly known as symbolic logic) is a subfield of mathematics with close connections to computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems. Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory. These areas share basic results on logic, particularly first-order logic, and definability. In computer science (particularly in the ACM Classification) mathematical logic is seen as encompassing additional topics that are not detailed in this article; see logic in computer science for those.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131177514
- Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
- EAN 9786131177514
- Format Fachbuch
- Titel Cotolerant Sequence
- Herausgeber Betascript Publishing
- Anzahl Seiten 100
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
