This book is currently unavailable on Open Library, check out available alternatives.
An edition of Proof methods for modal and intuitionistic logics (1983)

Proof methods for modal and intuitionistic logics

by

Cover of: Proof methods for modal and intuitionistic logics by Melvin Fitting, Melvin Fitting
Locate

My Reading Lists:

Create a new list

Check nearby libraries

Buy this book

This book is currently unavailable on Open Library, check out available alternatives.
Last edited by MARC Bot
December 12, 2023 | History
Edit
An edition of Proof methods for modal and intuitionistic logics (1983)

Proof methods for modal and intuitionistic logics

by

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

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

Edition Identifiers

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

Work Identifiers

Work ID
OL1954308W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation