Admissibility of logical inference rules / Vladimir V. Rybakov

Englisch

Amsterdam ; New York : Elsevier, 1997

617 p : ill ; 24 cm

Includes bibliographical references (p. 603-617) and index

Erscheint auch als: Druck-Ausgabe- Rybakov, Vladimir V.: Admissibility of logical inference rules. - Amsterdam [u.a.] : Elsevier, 1997. - 617 S.

0-444-89505-1

978-0-444-89505-9

*Syntax / Formale Semantik

*Inference ; Logic, Symbolic and mathematical

Klassifikation der Library of Congress: QA9

Dewey Dezimal-Klassifikation: 511.3

Mathematics Subject Classification: *03-02

Mathematics Subject Classification: 03B05

Mathematics Subject Classification: 03B10

Mathematics Subject Classification: 03B22

Mathematics Subject Classification: 03B25

Mathematics Subject Classification: 03B20

Mathematics Subject Classification: 03B45

Mathematics Subject Classification: 03B55

Mathematics Subject Classification: 03C05

 

Online-Ausg.]

https://zbmath.org/?q=an:0872.03002 [Zentralblatt MATH]

Elektronische Ressource

Nutzung mit Bibliotheksausweis in den Lesesälen der Staatsbibliothek zu Berlin - kein REMOTE ACCESS möglich

Der deutschlandweite Zugriff auf diesen Titel wird durch die Förderung der Deutschen Forschungsgemeinschaft ermöglicht und durch die Universitätsbibliothek Johann Christian Senckenberg Frankfurt organisiert. Einzelpersonen mit ständigem Wohnsitz in der Bundesrepublik Deutschland können sich persönlich bei der Universitätsbibliothek Johann Christian Senckenberg Frankfurt für einen kostenlosen Zugriff registrieren lassen, falls ihnen der Zugang über ein Universitätsnetz bzw. eine Wissenschaftliche Bibliothek nicht zur Verfügung steht: "http://www.nationallizenzen.de"

BIBTEX - ENDNOTE - RIS