The Bulletin of Symbolic Logic

Front Cover
Association for Symbolic Logic, 1997 - Electronic journals

From inside the book

Contents

A modeltheoretic approach to ordinal analysis by JEREMY AVIGAD
17
On the decision problem for twovariable firstorder logic by ERICH GRÄDEL
53
Paul Erdős 19131996 by JAMES E BAUMGARTNER
70
Copyright

16 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information