Home
Scholarly Works
SOME RESULTS ON THE K-PROVABILITY PROBLEM
Conference

SOME RESULTS ON THE K-PROVABILITY PROBLEM

Authors

FARMER WM

Volume

53

Pagination

pp. 1003-1003

Publisher

ASSN SYMBOLIC LOGIC INC

Publication Date

September 1, 1988

Conference proceedings

JOURNAL OF SYMBOLIC LOGIC

Issue

3

ISSN

0022-4812

Associated Experts

William Michael Farmer

Professor, Faculty of Engineering
Visit profile

Labels

Fields of Research (FoR)

4613 Theory of computation4901 Applied mathematics4904 Pure mathematics

Contact the Experts team

Get technical help
or
Provide website feedback