Advanced search

Direct dynamic proofs for classical compatibility

Dagmar Provijn (UGent) and Joke Meheus (UGent)
(2004) LOGIQUE ET ANALYSE. 185-188. p.305-317
Author
Organization

Citation

Please use this url to cite or link to this publication:

Chicago
Provijn, Dagmar, and Joke Meheus. 2004. “Direct Dynamic Proofs for Classical Compatibility.” Logique Et Analyse 185-188: 305–317.
APA
Provijn, D., & Meheus, J. (2004). Direct dynamic proofs for classical compatibility. LOGIQUE ET ANALYSE, 185-188, 305–317.
Vancouver
1.
Provijn D, Meheus J. Direct dynamic proofs for classical compatibility. LOGIQUE ET ANALYSE. 2004;185-188:305–17.
MLA
Provijn, Dagmar, and Joke Meheus. “Direct Dynamic Proofs for Classical Compatibility.” LOGIQUE ET ANALYSE 185-188 (2004): 305–317. Print.
@article{332161,
  author       = {Provijn, Dagmar and Meheus, Joke},
  issn         = {0024-5836},
  journal      = {LOGIQUE ET ANALYSE},
  pages        = {305--317},
  title        = {Direct dynamic proofs for classical compatibility},
  volume       = {185-188},
  year         = {2004},
}