Logical Frameworks for Truth and Abstraction, An Axiomatic Study
Ein Angebot gefunden

Bester Preis: 132,62 (vom 09.06.2016)
Aus dem Archiv:
1
9780080535586 - A. Cantini, A Cantini: Logical Frameworks for Truth and Abstraction, An Axiomatic Study
A. Cantini, A Cantini

Logical Frameworks for Truth and Abstraction, An Axiomatic Study (1996)

Lieferung erfolgt aus/von: Niederlande EN NW EB

ISBN: 9780080535586 bzw. 0080535585, in Englisch, North Holland, neu, E-Book.

132,62
unverbindlich
Lieferung aus: Niederlande, Direct beschikbaar.
bol.com.
This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free systems to show that: there are rich theories of self-application, involving both operations and truth which can serve as foundations ... This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free systems to show that: there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; these theories provide a new outlook on classical topics, such as inductive definitions and predicative mathematics; and, they are particularly promising with regard to applications. Research arising from paradoxes has moved progressively closer to the mainstream of mathematical logic and has become much more prominent in the last twenty years. A number of significant developments, techniques and results have been discovered. Academics, students and researchers will find that the book contains a thorough overview of all relevant research in this field. Productinformatie:Taal: Engels;Vertaald uit het: Engels;Formaat: ePub met kopieerbeveiliging (DRM) van Adobe;Bestandsgrootte: 17.53 MB;Kopieerrechten: Het kopiëren van (delen van) de pagina's is niet toegestaan ;Printrechten: Het printen van de pagina's is niet toegestaan;Voorleesfunctie: De voorleesfunctie is uitgeschakeld;Geschikt voor: Alle e-readers te koop bij bol.com (of compatible met Adobe DRM). Telefoons/tablets met Google Android (1.6 of hoger) voorzien van bol.com boekenbol app. PC en Mac met Adobe reader software;ISBN10: 0080535585;ISBN13: 9780080535586; Engels | Ebook | 1996.
Kategorie: School en studie, Wiskunde, Logica /, School en studie, Wiskunde, Meer rekenen & wiskunde /, School en studie, Wiskunde, Toegepaste wiskunde
Daten vom 09.06.2016 10:48h
ISBN (andere Schreibweisen): 0-08-053558-5, 978-0-08-053558-6
Zuerst gefunden: 09.06.2016 10:48:36
Zuletzt gefunden: 09.06.2016 10:48:36
Kleinster Preis: 132,62 (vom 09.06.2016 10:48:36)
Höchster Preis: 132,62 (vom 09.06.2016 10:48:36)
Fundstellen insgesamt: 1

Momentan keine Suchergebnisse - vielleicht bald lieferbar

Ihre Suche nach ist bei mehr als 100 angebundenen Webshops momentan nicht lieferbar. Wir finden dieses Buch aber trotzdem innerhalb weniger Wochen.

Sie Suchen nach diesem Buch:
Logical Frameworks for Truth and Abstraction, An Axiomatic StudyA. Cantini, A Cantini: Logical Frameworks for Truth and Abstraction, An Axiomatic Study
ISBN: 9780080535586

Speichern Sie diese Suche kostenlos in ab, dann werden Sie automatisch benachrichtigt, sobald dieses Buch verfügbar ist. Meistens finden wir dieses Buch innerhalb weniger Wochen und verständigen Sie dann per E-Mail. Sie können dann frei entscheiden, ob Sie das Buch kaufen wollen oder nicht.

Unsere Suchtipps für Ihre Suche:

Sie haben jetzt folgende Möglichkeiten:

  • Speichern Sie diese Seite in Ihren Lesezeichen oder Favoriten ab, dann können Sie jederzeit die Suche erneut ausführen.
  • Das Buch ist tatsächlich derzeit vergriffen bzw. nicht lieferbar. Es ist z.B. eine Rarität. Möglicherweise ist es aber in einiger Zeit lieferbar. Speichern Sie dazu diese Suche kostenlos ab oder lassen Sie sich kostenlos auf dieses Gerät benachrichten und Sie werden automatisch per E-Mail oder Nachricht informiert, sobald dieses Buch wieder lieferbar wird. Wir sind zuversichtlich, dass wir jedes Buch auf diese Weise innerhalb relativ kurzer Zeit finden. Probieren Sie es einfach aus!

Anmeldung mit Google:

ODER

Anmeldung mit Facebook:

Mit Facebook anmelden oder registrieren

Lade…