Bis zu 50 % günstiger als neu
3 Jahre rebuy Garantie
Professionelles Refurbishment
ElektronikMedien
Tipps & News
AppleAlle anzeigen
TabletsAlle anzeigen
HandyAlle anzeigen
Fairphone
AppleAlle anzeigen
iPhone Air Generation
GoogleAlle anzeigen
Pixel Fold
HonorAlle anzeigen
HuaweiAlle anzeigen
NothingAlle anzeigen
OnePlusAlle anzeigen
OnePlus 11 GenerationOnePlus 12 Generation
SamsungAlle anzeigen
Galaxy Xcover
SonyAlle anzeigen
Weitere Modelle
XiaomiAlle anzeigen
Weitere Modelle
Tablets & eBook ReaderAlle anzeigen
Google
AppleAlle anzeigen
HuaweiAlle anzeigen
MatePad Pro Serie
MicrosoftAlle anzeigen
XiaomiAlle anzeigen
Kameras & ZubehörAlle anzeigen
ObjektiveAlle anzeigen
Samyang
System & SpiegelreflexAlle anzeigen
CanonAlle anzeigen
FujifilmAlle anzeigen
OlympusAlle anzeigen
PanasonicAlle anzeigen
SonyAlle anzeigen
WearablesAlle anzeigen
Fitness TrackerAlle anzeigen
SmartwatchesAlle anzeigen
Xiaomi
Konsolen & ZubehörAlle anzeigen
Lenovo Legion GoMSI Claw
NintendoAlle anzeigen
Nintendo Switch Lite
PlayStationAlle anzeigen
XboxAlle anzeigen
Audio & HiFiAlle anzeigen
KopfhörerAlle anzeigen
FairphoneGoogle
LautsprecherAlle anzeigen
GoogleYamahatonies
iPodAlle anzeigen

Handgeprüfte Gebrauchtware

Bis zu 50 % günstiger als neu

Der Umwelt zuliebe

Optischer Zustand
Beschreibung
This book provides a comprehensive introduction to the essential elements of standard (classical) symbolic logic. Key topics covered include: · The characteristic nature and scope of logic as a discipline · The construction of a series of distinctly named formal languages suitable for formal translation · Semantic models · The construction of decision procedures · The execution of proof-theoretic arrangements like natural deduction and proof-sequent systems The book covers both the semantics and proof theory of the standard sentential (propositional) logic and predicate (first-order) logic. Other topics covered include: parsing trees,extraction of alternative notations (for instance, Polish notation), Fitch-style proof-theory, sequent and ‘tree’ proof systems, comparisons and contrasts with intuitionistic logic, and presentations of predicate logic models. An ancillary chapter on elements of set theory is conveniently placed at the end and includes insights into the Zermelo-Fraenkel systematization of set theory. The philosophy of logic is also explored. Exercises in the text provide instruction on mathematical induction for the construction of formula, tests for the well-formedness of Polish notation, and functional completeness. Symbolic Logic is essential reading for all philosophy students taking intermediate level formal logic courses and will also appeal to diligent first year students of logic. The text is replete with exercises on both the formal machinery and the philosophical aspects of logic.
58,84 €
Taschenbuch | Neu

oder

Auf Lager Versandbereit in 2-3 Werktagen
zzgl.

Du kannst wie immer einen Kaufalarm setzen, wenn du auf das gebrauchte Buch warten möchtest.

Auf Lager Versandbereit in 2-3 Werktagen
zzgl.

Handgeprüfte Gebrauchtware

Bis zu 50 % günstiger als neu

Der Umwelt zuliebe

Technische Daten


Erscheinungsdatum
22.02.2022
Sprache
Englisch
EAN
9783030673956
Herausgeber
Springer International Publishing
Serien- oder Bandtitel
Palgrave Philosophy Today
Sonderedition
Nein
Autor
Odysseus Makridis
Seitenanzahl
492
Auflage
1st edition 2021
Einbandart
Taschenbuch
Schlagwörter
Logic, Symbolic logic, Predicate logic, Inductive arguments, Deductive reasoning, Sentences, Set theory
Thema-Inhalt
QDTL - Philosophie: Logik
Höhe
235 mm
Breite
15.5 cm

Transparenz & Sicherheit

Hersteller: Springer, Europaplatz 3, Heidelberg, Deutschland, 69115, ProductSafety@springernature.com, Springer Nature Customer Service Center GmbH

-.-
Leider noch keine Bewertungen
Leider noch keine Bewertungen
Schreib die erste Bewertung für dieses Produkt!
Wenn du eine Bewertung für dieses Produkt schreibst, hilfst du allen Kund:innen, die noch überlegen, ob sie das Produkt kaufen wollen. Vielen Dank, dass du mitmachst!