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

Front Cover
Association for Symbolic Logic, 2001 - Logic, Symbolic and mathematical
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Artemov Sergei N Explicit provability and constructive semantics
1
Explicit provability and constructive semantics by Sergei N Artemov
37
Reviews
58
Copyright

35 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information