The Bulletin of Symbolic Logic, Volume 8, Issues 1-4

Front Cover
Association for Symbolic Logic, 2002 - Logic, Symbolic and mathematical

From inside the book

Contents

R Epstein and W Carnielli Computability Reviewed by Carlos Augusto Di Prisco
101
The problem of logical constants by MARIO GÓMEZTORRENTE
142
Types in logic and mathematics before 1940 by FAIROUZ KAMAREDDINE
185
Copyright

29 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information