The Birth of Model Theory -  Calixto Badesa

The Birth of Model Theory (eBook)

Löwenheim's Theorem in the Frame of the Theory of Relatives
eBook Download: PDF | EPUB
2009 | 1. Auflage
256 Seiten
Princeton University Press (Verlag)
978-1-4008-2618-6 (ISBN)
209,95 € inkl. MwSt
Systemvoraussetzungen
119,99 € inkl. MwSt
Systemvoraussetzungen
  • Download sofort lieferbar
  • Zahlungsarten anzeigen


Calixto Badesa is Associate Professor of Logic and History of Logic at the University of Barcelona.

Calixto Badesa is Associate Professor of Logic and History of Logic at the University of Barcelona.

Erscheint lt. Verlag 10.1.2009
Verlagsort Princeton
Sprache englisch
Themenwelt Geisteswissenschaften Philosophie Allgemeines / Lexika
Geisteswissenschaften Philosophie Logik
Mathematik / Informatik Mathematik Logik / Mengenlehre
Technik
Schlagworte Accuracy and precision • Addition • Algebra • algebraic logic • Algebraic Method • Ambiguity • ANTISYMMETRY • associative property • Atomic formula • Atomic sentence • Axiom • axiomatic system • Axiom of choice • Big O notation • Boolean algebra (structure) • Calculation • Cardinality • Categorical Proposition • Choice function • coefficient • combination • compactness theorem • conjecture • consistency • Contradiction • Countable set • Denotation • Diagram (category theory) • Disjunctive normal form • Enumeration • Equation • equivalence class • equivalence relation • Erratum • existential quantification • Explanation • First-Order Logic • formal language • formal system • Formation rule • Frege (programming language) • Geometry • Gottlob Frege • Herbrand's theorem • hypothesis • Indexed family • inference • infinitary logic • Law of thought • Logic • Logical biconditional • Logical conjunction • Logical connective • logical consequence • Logical disjunction • logical equivalence • Mathematical Analysis • Mathematical Induction • Mathematical Logic • Mathematical Theory • Metalanguage • model Theory • Natural number • Notation • object language • Predicate (mathematical logic) • Probability • Propositional Calculus • Propositional formula • Propositional variable • Q.E.D. • Quantification (science) • Quantifier (logic) • result • satisfiability • scientific notation • Semantics • Sequence • Series (mathematics) • Set (mathematics) • Skolem normal form • stipulation • subdomain • Subset • Suggestion • Summation • syllogism • Tautology (logic) • Terminology • Term logic • Theorem • theory • transfinite • Truth value • Unity of science • Universal quantification • Variable (computer science) • Variable (mathematics) • Well-order • Writing
ISBN-10 1-4008-2618-7 / 1400826187
ISBN-13 978-1-4008-2618-6 / 9781400826186
Haben Sie eine Frage zum Produkt?
PDFPDF (Wasserzeichen)
Größe: 1,3 MB

DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasser­zeichen und ist damit für Sie persona­lisiert. Bei einer missbräuch­lichen Weiter­gabe des eBooks an Dritte ist eine Rück­ver­folgung an die Quelle möglich.

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

EPUBEPUB (Adobe DRM)

Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM

Dateiformat: EPUB (Electronic Publication)
EPUB ist ein offener Standard für eBooks und eignet sich besonders zur Darstellung von Belle­tristik und Sach­büchern. Der Fließ­text wird dynamisch an die Display- und Schrift­größe ange­passt. Auch für mobile Lese­geräte ist EPUB daher gut geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine Adobe-ID und die Software Adobe Digital Editions (kostenlos). Von der Benutzung der OverDrive Media Console raten wir Ihnen ab. Erfahrungsgemäß treten hier gehäuft Probleme mit dem Adobe DRM auf.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine Adobe-ID sowie eine kostenlose App.
Geräteliste und zusätzliche Hinweise

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
Ein Methodenbuch

von Gregor Damschen; Dieter Schönecker

eBook Download (2024)
De Gruyter (Verlag)
24,95
Ein Methodenbuch

von Gregor Damschen; Dieter Schönecker

eBook Download (2024)
De Gruyter (Verlag)
24,95
Gesundheitsschutz - Selbstbestimmungsrechte - Rechtspolitik

von Hartmut Kreß

eBook Download (2024)
Kohlhammer Verlag
34,99