Format:
Online-Ressource (191 p)
Edition:
Online-Ausg. 2010 Electronic reproduction
ISBN:
9780444534187
Series Statement:
Studies in Logic and the Foundations of Mathematics v. 54
Content:
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
Note:
Bibliography: p. [188]-189
,
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.
,
Electronic reproduction
Additional Edition:
ISBN 0444534180
Additional Edition:
ISBN 0720422566
Additional Edition:
ISBN 9780720422566
Additional Edition:
Erscheint auch als Druck-Ausgabe Intuitionistic logic, model theory and forcing
Language:
English
Keywords:
Electronic books
Bookmarklink