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.
Metalogic
CHF 43.10
Auf Lager
SKU
3TP3C13V82H
1 Verfügbar 
Geliefert zwischen Di., 27.01.2026 und Mi., 28.01.2026
Details
Metalogic is the study of the metatheory of logic. While logic is the study of the manner in which logical systems can be used to decide the correctness of arguments, metalogic studies the properties of the logical systems themselves. According to Geoffrey Hunter, while logic concerns itself with the "truths of logic," metalogic concerns itself with the theory of "sentences used to express truths of logic." The basic objects of study in metalogic are formal languages, formal systems, and their interpretations. The study of interpretation of formal systems is the branch of mathematical logic known as model theory, while the study of deductive apparatus is the branch known as proof theory.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786130733650
- Editor Frederic P. Miller, Agnes F. Vandome, John McBrewster
- EAN 9786130733650
- Format Fachbuch
- Titel Metalogic
- Herausgeber Alphascript Publishing
- Anzahl Seiten 84
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
