Ghent University Academic Bibliography

Advanced

Direct dynamic proofs for classical compatibility

Dagmar Provijn UGent and Joke Meheus UGent (2004) LOGIQUE ET ANALYSE. 185-188. p.305-317
Please use this url to cite or link to this publication:
author
organization
year
type
journalArticle
publication status
published
subject
journal title
LOGIQUE ET ANALYSE
Log. anal.
volume
185-188
pages
305-317 pages
ISSN
0024-5836
UGent publication?
yes
classification
A2
VABB id
c:vabb:197346
VABB type
VABB-1
id
332161
handle
http://hdl.handle.net/1854/LU-332161
date created
2006-04-21 14:58:00
date last changed
2016-12-19 15:43:43
@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},
}

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.