Format:
617 p
,
Online-Ressource
,
ill
,
24 cm
Edition:
Online-Ausg.] Elsevier e-book collection on ScienceDirect
ISBN:
0444895051
,
9780444895059
Series Statement:
Studies in logic and the foundations of mathematics v. 136
Note:
Includes bibliographical references (p. 603-617) and index
Additional Edition:
Erscheint auch als Druck-Ausgabe Rybakov, Vladimir V. Admissibility of logical inference rules Amsterdam [u.a.] : Elsevier, 1997 ISBN 0444895051
Language:
English
Subjects:
Mathematics
Keywords:
Syntax
;
Formale Semantik
;
Lehrbuch
URL:
Volltext
(Deutschlandweit zugänglich)
Bookmarklink