Skip to main content
PRL Project

Intuitionistic Completeness of First-Order Logic

by Robert L. Constable, Mark Bickford
2014

Published in Annals of Pure and Applied Logic, Volume 165, Issue 1, January 2014 (pages 164-198).

bibTex ref: CB14


cite link