Proof Search in Constructive Logics

Roy Dyckhoff, L Pinto

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Name	London Mathematical Society Lecture Note Series
Publisher	Cambridge University Press
Volume	258

Cite this

@inproceedings{085c0477b4d14f30adf6acc57be61b93,

title = "Proof Search in Constructive Logics",

author = "Roy Dyckhoff and L Pinto",

note = "Sets and Proofs; Proc Logic Colloquium 97, vol 97",

year = "1999",

language = "English",

isbn = "0-521-63549-7",

series = "London Mathematical Society Lecture Note Series",

publisher = "Cambridge University Press",

pages = "53--65",

editor = "Cooper, {S. Barry} and Truss, {John K.}",

booktitle = "Sets and Proofs",

address = "United Kingdom",

}

TY - GEN

T1 - Proof Search in Constructive Logics

AU - Dyckhoff, Roy

AU - Pinto, L

N1 - Sets and Proofs; Proc Logic Colloquium 97, vol 97

PY - 1999

Y1 - 1999

UR - http://www.amsta.leeds.ac.uk/events/logic97/

M3 - Conference contribution

SN - 0-521-63549-7

T3 - London Mathematical Society Lecture Note Series

SP - 53

EP - 65

BT - Sets and Proofs

A2 - Cooper, S. Barry

A2 - Truss, John K.

PB - Cambridge University Press

CY - Cambridge

ER -