An edition of Proof methods for modal and intuitionistic logics (1983)

Proof methods for modal and intuitionistic logics

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Proof methods for modal and intuitionistic logics by Melvin Fitting
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
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
January 26, 2022 | History
Edit
An edition of Proof methods for modal and intuitionistic logics (1983)

Proof methods for modal and intuitionistic logics

by

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

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

Publish Date
Publisher
D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Boston, Springer
Language
English
Pages
555

Check nearby libraries

Buy this book

Subjects
Intuitionistic mathematics, Modality (Logic), Proof theory, Logic, Logic, symbolic and mathematical
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
  • Not in Library
Libraries near you: WorldCat

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

Source records

Library of Congress MARC record
Better World Books record
marc_columbia MARC record
amazon.com record
harvard_bibliographic_metadata record

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
January 26, 2022 Edited by ImportBot import existing book
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
February 1, 2010 Edited by WorkBot add more information to works
December 9, 2009 Created by WorkBot add works page