Actions for Intuitionistic logic, model theory and forcing

Email RIS file
Bookmark
Report an Issue

Intuitionistic logic, model theory and forcing

Author
Fitting, Melvin, 1942-
Published
Amsterdam : North-Holland Pub. Co., 1969.
Physical Description
1 online resource (191 pages).
Access Online

Availability

I Want It
I Want It

Finding items...

Series
Contents
Propositional intuitionistic logic semantics -- Propositional intuitionistic logic proof theory -- Related systems of logic -- First order intuitionistic logic semantics -- First order intuitionistic logic proof theory -- Additional first order results -- Intuitionistic M generalizations -- Independence of the axiom of choice -- Ordinals and cardinals -- Independence of the continuum hypothesis -- Definability and constructability -- Independence of the axiom of constructability -- Additional results -- Additional classical model generalizations.
Subject(s)
ISBN
9780444534187
0444534180
0720422566
9780720422566
Bibliography Note
Includes bibliographical references (pages 188-189).
View MARC record | catkey: 18156502