Skip to main content
PRL Project

Intuitionistic Completeness of First-Order Logic

by Robert L. Constable, Mark Bickford
2011

bibTex ref: Con11


cite link