Proof methods for modal and intuitionistic logics /

Proof methods for modal and intuitionistic logics /

Saved in:
Bibliographic Details
Author / Creator:Fitting, Melvin, 1942-
Imprint:Dordrecht, Holland ; Boston, U.S.A. : D. Reidel ; Hingham, MA : Sold and distributed in the U.S.A. and Canada by Kluwer Boston, c1983.
Description:viii, 555 p. ; 24 cm.
Language:English
Series:Synthese library ; v. 169
Subject:
Proof theory
Modality (Logic)
Intuitionistic mathematics
Intuitionistic mathematics.
Modality (Logic)
Proof theory.
Format: Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/857441
Hidden Bibliographic Details
ISBN:9027715734
Notes:Includes index.
Bibliography: p. 526-539.

MARC

LEADER 00000nam a2200000 a 4500
001 857441
003 ICU
005 19950905000000.0
008 870924s1983 ne b 00110 eng u
010 |a  83004409 //r89 
020 |a 9027715734 
035 |a (ICU)BID10837937 
035 |a (OCoLC)9325196 
040 |a DLC  |a DLC  |c DLC  |d DLC 
041 0 |a eng 
050 0 0 |a QA9.54  |b .F57 1983 
082 0 0 |a 511.3  |2 19 
100 1 |a Fitting, Melvin,  |d 1942-  |0 http://id.loc.gov/authorities/names/n81018911  |1 http://viaf.org/viaf/46837603 
245 1 0 |a Proof methods for modal and intuitionistic logics /  |c Melvin Fitting. 
260 0 |a Dordrecht, Holland ;  |a Boston, U.S.A. :  |b D. Reidel ;  |a Hingham, MA :  |b Sold and distributed in the U.S.A. and Canada by Kluwer Boston,  |c c1983. 
300 |a viii, 555 p. ;  |c 24 cm. 
336 |a text  |b txt  |2 rdacontent  |0 http://id.loc.gov/vocabulary/contentTypes/txt 
337 |a unmediated  |b n  |2 rdamedia  |0 http://id.loc.gov/vocabulary/mediaTypes/n 
338 |a volume  |b nc  |2 rdacarrier  |0 http://id.loc.gov/vocabulary/carriers/nc 
490 0 |a Synthese library ;  |v v. 169 
500 |a Includes index. 
504 |a Bibliography: p. 526-539. 
650 0 |a Proof theory  |0 http://id.loc.gov/authorities/subjects/sh85107437 
650 0 |a Modality (Logic)  |0 http://id.loc.gov/authorities/subjects/sh85086410 
650 0 |a Intuitionistic mathematics  |0 http://id.loc.gov/authorities/subjects/sh85067656 
650 7 |a Intuitionistic mathematics.  |2 fast  |0 http://id.worldcat.org/fast/fst00977860 
650 7 |a Modality (Logic)  |2 fast  |0 http://id.worldcat.org/fast/fst01024350 
650 7 |a Proof theory.  |2 fast  |0 http://id.worldcat.org/fast/fst01078942 
903 |a HeVa 
929 |a cat 
999 f f |i 70341958-3973-543c-b0b4-c326b65dd244  |s e1ce56d1-a4e0-5931-b782-cd1365481ac5 
928 |t Library of Congress classification  |a QA9.54.F570 1983  |l Eck  |c Eck-Eck  |i 1906866 
927 |t Library of Congress classification  |a QA9.54.F570 1983  |l Eck  |c Eck-Eck  |b 27564707  |i 2029729 

Similar Items