The semantics and proof theory of the logic of bunched implications

by David J. Pym

Dordrecht [u.a.]: Kluwer Acad. Publ, 2002

Monograph, Printed Resource - XLIX, 287 S. : graph. Darst. ; 25 cm

Title:	The semantics and proof theory of the logic of bunched implications
Statement of Responsibility:	by David J. Pym
Author / Contributor:	Pym, David J.
Link:	Kapitel Kapitel Kapitel Kapitel Kapitel Kapitel Vorwort Inhaltsverzeichnis
Related work:	Applied logic series — Additional volumes
Publication:	Dordrecht [u.a.]: Kluwer Acad. Publ, 2002
Media Type:	Monograph
Carrier Type:	Printed Resource
Pagination:	XLIX, 287 S. : graph. Darst. ; 25 cm
ISBN:	1402007450
Subject heading:	Logic, Symbolic and mathematical Mathematische Logik Prüftheorie Formale Semantik
Additional details:	Gesamttitelangabe: Applied logic series ; 26 Includes bibliographical references and index Lokale Notationen: TVL Fächer: Informatik RVK: ST 120 Grundlagen der Informatik hbz Verbund-ID: HT014376821

Please select a fomat and save the data, next, you provide an e-mail address and have the data delivered there.

BibTeX Citavi, JabRef, et al.
(Reference Management)

PDF No full text!
(Notepad, Notes)

RIS Endnote, Citavi, e.a.
(Reference Management)

MODS
(XML for further processing)

Select the appropriate citation format, copy it to the clipboard, and have it sent by e-mail or save it as a PDF file.

Citation style selected:

Please check that the citation is formally correct prior to using it in a paper. You might like to use the "Export" dialogue for formatting citations yourself for a reference management program.