Search results

Catalogue
1 Hit

Search mask

Search tip Catalogue: Search terms are automatically combined with AND. Combining terms with OR is achieved by using "|", combining terms with NOT needs a "-" (minus) in front of the term. Quotation marks can be used to search for phrases.
Examples: (castle | palace) -medieval, "vocational education"

Title Keywords:

Full Title:

Author (Surname, Forename):

Year of Publication:

Subject Headings:

Corporate Name:

Publisher:

ISBN:

ISSN:

Shelfmark / Classmark:

Limit or broaden search results

Search filters set

Delete filter option: Subject Heading: Prüftheorie

Period of Publication

Earliest year of publication

Latest year of publication

Access

Local Holdings 1 Hit

Media Type

Printed resource 1 Hit

Source Type

Monograph 1 Hit

Language

Englisch 1 Hit

Subject

Informatik 1 Hit

Subject Heading

Formale Semantik 1 Hit
Logic, Symbolic and mathematical 1 Hit
Mathematische Logik 1 Hit

1 Hit

Sorting:

Open detailed title display for 1

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

Articles & more

Retrieve number of hits…

Search mask

Search tip Articles & more: Search terms are automatically combined with AND. Combining terms with OR is achieved by using "|", combining terms with NOT needs a "-" (minus) in front of the term. Quotation marks can be used to search for phrases.
Examples: (castle | palace) -medieval, "vocational education"

Title Keywords:

Author (Surname, Forename):

Year of Publication:

Subject Headings:

ISBN:

ISSN:

The following search field is not supported here: "Shelfmark / Classmark".

Loading results list…

E-Journals

Search mask

Title Keywords:

Subject Headings:

Publisher:

ISSN:

The following search field is not supported here: "Shelfmark / Classmark".

E-Journals (Database selection)

Pop-up window to select databases for parallel searching. You may close and leave this dialogue window at any time using the Escape key. Databases selected or de-selected will be adopted automatically.

Electronic Journals Library (EZB) Show database description

Loading results list…

Search results

Catalogue 1 1 Hit

Search mask

Limit or broaden search results

Articles & more Retrieve number of hits…

E-Journals

Catalogue
1 Hit

Articles & more

Retrieve number of hits…