Proof methods for modal and intuitionistic logics

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

Buy this book

Last edited by MARC Bot
December 12, 2023 | History

Proof methods for modal and intuitionistic logics

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Buy this book

Edition Availability
Cover of: Proof methods for modal and intuitionistic logics
Proof methods for modal and intuitionistic logics
1983, D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Boston, Springer
in English

Add another edition?

Book Details


Edition Notes

Bibliography: p. 526-539.
Includes index.

Published in
Dordrecht, Holland, Boston, U.S.A, Hingham, MA
Series
Synthese library ;, v. 169

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9.54 .F57 1983, B1-5802

The Physical Object

Pagination
viii, 555 p. ;
Number of pages
555

ID Numbers

Open Library
OL3162587M
ISBN 10
9027715734
LCCN
83004409
OCLC/WorldCat
9325196
Goodreads
485108

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 12, 2023 Edited by MARC Bot import existing book
February 10, 2023 Edited by ImportBot import existing book
December 9, 2022 Edited by MARC Bot import existing book
January 26, 2022 Edited by ImportBot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record