Applied Logic Series, Band 27. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Einband leicht verschmutzt, Frontschnitt mit Flecken. XVIII, 390 Seiten, Englisch 730g.

Bestandsnummer des Verk�ufers 492485

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, Band 27).

Verlag

Kluwer Academic Publishers

Erscheinungsjahr

2002

Sprache

Englisch

ISBN-10

1402007639

ISBN-13

9781402007637

Einband

gebundene Ausgabe

Auflage

2. Auflage

Zustand

Gut

Gewicht

730 Gramm

Verk�uferkataloge

Mathematik

�ber diesen Titel

Inhaltsangabe

In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for more information.

This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan’s Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand’s Theorem, unification, duality, interpolation, and definability.

The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem’s Paradox about countable models of set theory.

Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises.

Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.

Rese�a del editor

In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for more information.

This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability.

Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Herzlich Willkommen im online- shop des Antiquariates Bernhardt. Weit �ber 40.000 Titel zu allen Fach- Sach- und wissenschaftlichen Themen warten darauf von Ihnen entdeckt zu werden. Schwerpunkte bilden die Sachgebiete: Eisenbahn, Auto und Motorsport, Schifffahrt, Kunst, Geschichte, Philosophie, Esoterik, Rudolf Steiner, Bibliophile B�cher, Naturwissenschaften insbesondere die Mathematik und zahlreiche weitere Sachgebiete. Wenn Sie an unseren Neuzug�ngen interessiert sind, senden Sie uns einfach eine E-Mail mit den Themen f�r die Sie sich interessieren und Sie bekommen von uns regelm��ig eine E-Mail mit unseren Neuzug�ngen zu Ihrem Suchgebiet. Sollten Sie an B�chern aus unserem Shop interessiert sein und diese gerne selbst in unserem Laden abholen, rufen Sie uns bitte vorher an und wir werden Ihnen Ihre Titelauswahl bereitlegen. Selbstverst�ndlich ist eine Abholung in unserem Archiv, das sich in Kassel in der Knorrstr. 39 befindet, m�glich. Bitte vereinbaren Sie daf�r einfach einen Termin. Buchankauf Haben Sie B�cher zu verkaufen ? Dann bieten Sie uns doch Ihre B�cher an. Wir sind immer interessiert an gut erhaltenen, gebrauchten, antiquarischen und aktuellen Bibliotheken / B�chern mit den Schwerpunkten: Eisenbahn, Automobile und Motorsport, Luftfahrt, Schifffahrt, Geschichte, Milit�rgeschichte, Kunst, Philosophie, Architektur, Atlanten, Botanik, Bergbau, Literatur, Insel B�cherei, die andere Bibliothek, Rudolf Steiner, Esoterik, Fotografie, Geographie, Jagd, antike Reisebeschreibungen ( Afrikaexpeditionen, Polarforschung usw.), antike Kinderbilderb�cher, Kochen, Olympia- und Fu�ballb�cher, Motorr�der, Naturwissenschaften, h�here Mathematik und Physik, Wirtschaft, Zoologie, Ornithologie, Tauben, Geisteswissenschaften, Theologie, Orts- und Landeskunde, Zigarettenbilderalben, Sammelbilderalben, Raumbildalben, Bibliophile B�cher und Einb�nde, Ansichtenwerke, B�cher mit original Graphik, illustrierte B�cher, Stahlstichwerke, alte Bibeln, antike B�cher des 16. ? 20. Jahrhunderts, Sachb�cher, Fachb�cher und wissenschaftliche B�cher aus allen Wissensgebieten und vieles mehr. Au�erdem suchen wir noch alte St�dteansichten, Landkarten und dekorative Graphik sowie alte Postkarten, Ansichtskarten, alte Plakate, Fotos, Kleinantiquit�ten und vieles mehr Gerne kaufen wir auch wissenschaftliche Bibliotheken, hochwertige Sammlungen, komplette Buchl�den, Antiquariate und Archive. Bei gro�en B�chersammlungen vereinbaren Sie doch einfach einen Termin mit uns, wir kommen gerne bei Ihnen vorbei und besichtigen die B�cher bei Ihnen vor Ort ! Wir kaufen B�cher in ganz Deutschland an. Eine seri�se und faire Abwicklung ist f�r uns selbstverst�ndlich. Antiquariat Bernhardt Knorrstr.39 34121 Kassel Tel.: 0561 / 920 57 10 Email: info@antiquariat-bernhardt.de www.antiquariat-bernhardt.com �ffnungszeiten: Mo. - Fr. 10:00 - 18:00 Uhr

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Antiquariat Bernhardt
Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Gesch�fts- und Lieferbedingungen von Antiquariat Bernhardt

Allgemeines - Geltungsbereich

1.1.
Die folgenden Allgemeinen Gesch�ftsbedingungen gelten f�r alle Gesch�ftsbeziehungen zwischen uns und unseren Kunden. Ma�geblich ist jeweils die zum Zeitpunkt des Vertragsschlusses g�ltige Fassung.

1.2.
Verbraucher i. S. d. Gesch�ftsbedingungen sind nat�rliche Personen, mit denen wir in Gesch�ftsbeziehung treten, ohne dass diesen eine gewerbliche oder selbst�ndige berufliche T�tigkeit zugerechnet werden ...

Mehr Information

Widerrufsbelehrung

Versandbedingungen

Die Ware wird in der Regel innerhalb von 2 Tagen nach Bestelleingang verschickt. Bitte entnehmen Sie den voraussichtlichen Liefertermin Ihrer Bestellbest�tigung. Die Versandkostenpauschalen basieren auf Durchschnittswerten f�r 1 kg schwere B�cher. �ber abweichende Kosten (z.B. wegen eines sehr schweren Buches) werden Sie gegebenenfalls vom Verk�ufer informiert.

Widerrufsbelehrung
Widerrufsrecht
Sie k�nnen Ihre Vertragserkl�rung innerhalb von 14 Tagen ohne Angabe von Gr�nden in Textform (z. B. Brief, Fax, E-Mail) oder - wenn Ihnen die Sache vor Fristablauf �berlassen wird - durch R�cksendung der Sache widerrufen. Die Frist beginnt nach Erhalt dieser Belehrung in Textform, jedoch nicht vor Eingang der Ware beim Empf�nger (bei der wiederkehrenden Lieferung gleichartiger Waren nicht vor Eingang der ersten Teillieferung) und auch nicht vor Erf�llung unserer Informationspflichten gem�� Artikel 246 � 2 in Verbindung mit � 1 Abs. 1 und 2 EGBGB sowie unserer Pflichten gem�� 312e Abs. 1 Satz 1 BGB in Verbindung mit Artikel 246 � 3 EGBGB. Zur Wahrung der Widerrufsfrist gen�gt die rechtzeitige Absendung des Widerrufs oder der Sache. Der Widerruf ist zu richten an:
Antiquariat Bernhardt
Inh. Andreas Bernhardt
Knorrstr. 39
34121 Kassel
Telefon: 0561 / 920 57 10
Fax: 0561 / 510 90 200
E-Mail: info@antiquariat-bernhardt.de
http://www.antiquariat-bernhardt.com
Widerrufsfolgen
Im Falle eines wirksamen Widerrufs sind die beiderseits empfangenen Leistungen zur�ckzugew�hren und ggf. gezogene Nutzungen (z. B. Zinsen) herauszugeben. K�nnen Sie uns die empfangene Leistung ganz oder teilweise nicht oder nur in verschlechtertem Zustand zur�ckgew�hren, m�ssen Sie uns insoweit ggf. Wertersatz leisten. Bei der �berlassung von Sachen gilt dies nicht, wenn die Verschlechterung der Sache ausschlie�lich auf deren Pr�fung - wie sie Ihnen etwa im Ladengesch�ft m�glich gewesen w�re - zur�ckzuf�hren ist. Im �brigen k�nnen Sie die Pflicht zum Wertersatz f�r eine durch die bestimmungsgem��e Ingebrauchnahme der Sache entstandene Verschlechterung vermeiden, indem Sie die Sache nicht wie Ihr Eigentum in Gebrauch nehmen und alles unterlassen, was deren Wert beeintr�chtigt. Paketversandf�hige Sachen sind auf unsere Gefahr zur�ckzusenden. Sie haben die Kosten der R�cksendung zu tragen, wenn die gelieferte Ware der bestellten entspricht und wenn der Preis der zur�ckzusendenden Sache einen Betrag von 40 Euro nicht �bersteigt oder wenn Sie bei einem h�heren Preis der Sache zum Zeitpunkt des Widerrufs noch nicht die Gegenleistung oder eine vertraglich vereinbarte Teilzahlung erbracht haben. Anderenfalls ist die R�cksendung f�r Sie kostenfrei. Nicht paketversandf�hige Sachen werden bei Ihnen abgeholt. Verpflichtungen zur Erstattung von Zahlungen m�ssen innerhalb von 30 Tagen erf�llt werden. Die Frist beginnt f�r Sie mit der Absendung Ihrer Widerrufserkl�rung oder der Sache, f�r uns mit deren Empfang.
Ende der Widerrufsbelehrung

Versandkosten innerhalb von Deutschland

Versandkosten innerhalb von Deutschland
Bestellmenge	1 bis 3�Werktage	1 bis 2�Werktage
Erster Artikel	EUR 3.00	EUR 10.00

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.