Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
>
Zugangsberechtigung
Katalogdatenanzeige
Katalogdatenanzeige
Interpolation and definability: modal and intuitionistic logic
.
Bookmark für diesen Satz setzen
Katalogdatensatz500406022
.
.
Wikipedia-Verfasserlink
.
.
LibraryThing
.
Kataloginformation
Katalogdatensatz500406022
.
Kataloginformation
Feldname
Details
Vorliegende Sprache
eng
ISBN
978-0-19-851174-8
Name
Gabbay, Dov M. ¬[VerfasserIn]¬
Maksimova, L. L. ¬[MitwirkendeR]¬
Name ANZEIGE DER KETTE
Maksimova, L. L. ¬[MitwirkendeR]¬
T I T E L
Interpolation and definability
Zusatz zum Titel
modal and intuitionistic logic
Verlagsort
Oxford
Verlag
Oxford University Press
Erscheinungsjahr
2005
2005
Umfang
1 online resource (xiv, 508 p.) : ill.
Reihe
Oxford logic guides ; 46
Notiz / Fußnoten
Includes bibliographical references and index. - Description based on print version record
Titelhinweis
Erscheint auch als (Druck-Ausgabe)ISBN: 978-0-19-851174-8
ISBN
ISBN 978-0-19-170577-9 ebook
ISBN 0-19-170577-2 ebook
Klassifikation
511.3
Kurzbeschreibung
This monograph looks at interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming philosophy of science, and natural language.
SWB-Titel-Idn
1003248721
Signatur
E-Book Oxford EBS
Bemerkungen
Elektronischer Volltext - Campuslizenz
Elektronische Adresse
$uhttp://dx.doi.org/10.1093/acprof:oso/9780198511748.001.0001
Internetseite / Link
Resolving-System
.
ISBD-Anzeige
Katalogdatensatz500406022
.
Kategorien-Anzeige
Katalogdatensatz500406022
.
Verwandte Werke
Katalogdatensatz500406022
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz500406022
.
Kataloginformation500406022
Datensatzanfang
.
Kataloginformation500406022
Seitenanfang
.
Titel vormerken
Katalogdatensatz500406022
Vollanzeige Katalogdaten
Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.
Im Bereich
Kataloginformation
werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.
Der Bereich
Exemplarinformationen
enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche
Suche nach