fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Gabbay

What Is a Logical System?

Medium: Buch
ISBN: 978-0-19-853859-2
Verlag: OUP Oxford
Erscheinungstermin: 01.10.1996
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

This extraordinary collection of papers addresses a fundamental question of logic and computation. "What is a logical system?". With contributions from many world famous researchers, it presents a wide spectrum of views on the problem, reflecting mainstream current approaches to logic and how it is applied.

Produkteigenschaften

  • Artikelnummer: 9780198538592
  • Medium: Buch
  • ISBN: 978-0-19-853859-2
  • Verlag: OUP Oxford
  • Erscheinungstermin: 01.10.1996
  • Sprache(n): Englisch
  • Auflage: Erscheinungsjahr 1996
  • Produktform: Gebunden, HC gerader Rücken kaschiert
  • Gewicht: 905 g
  • Seiten: 464
  • Format (B x H x T): 157 x 235 x 32 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

- 1: Ian Hacking: What is logic- 2: Robert Kowalski: Logic without model theory- 3: John Barwise and Eric Hammer: Diagrams and the concept of logical system- 4: Johan Van Bentham: General dynamics- 5: Jim Lambek: What is a deductive system- 6: Neil Tennent: The transmission of truth and the transmitting of abduction- 7: D.M. Gabbay: What is a logical system?- 8: Arnon Avron: What is a logical system?- 9: C. Crocco and L. Farinas del Cerro: Structure, consequence relation- 10: Peter Aczel: Schematic consequence- 11: Kosta Dosen: Logical constants and punctuation marks- 12: Solomon Feferman: Finitary inductively presented logics- 13: Sean Matthews: A-theory and its metatheory in FSo- 14: Narciso Marti-Oliet and Jose Meseguer: General logics and logical frameworks- 15: I. Nemeti and A. Andreka: General algebraic logic, a perspective on What is Logic?