The Bulletin of Symbolic Logic

Front Cover
Association for Symbolic Logic, 1995 - Electronic journals

From inside the book

Contents

The mathematical work of S C Kleene by J R SHOENFIELD
9
Platonism and mathematical intuition in Kurt Gödels thought by CHARLES
44
HODLR is a core model below by JOHN R STEEL
75
Copyright

4 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information