My Account Log in

1 option

Proof theory of modal logic / edited by Heinrich Wansing.

Math/Physics/Astronomy Library QA9.46 .P76 1996
Loading location information...

Available This item is available for access.

Log in to request item
Format:
Book
Contributor:
Wansing, H. (Heinrich)
Series:
Applied logic series ; v. 2.
Applied logic series ; v. 2
Language:
English
Subjects (All):
Modality (Logic)--Congresses.
Modality (Logic).
Proof theory--Congresses.
Proof theory.
Genre:
Conference papers and proceedings.
Physical Description:
x, 317 pages : illustrations ; 25 cm.
Place of Publication:
Boston : Kluwer, 1996.
Notes:
Proceedings of a workshop held at the University of Hamburg, Nov. 19-20, 1993.
Includes bibliographical references and index.
ISBN:
0792341201
OCLC:
34789840

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Library Catalog Using Articles+ Library Account