dblp.uni-trier.dewww.uni-trier.de

Volker Halbach

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
5 Volker Halbach: Disquotational Truth and Analyticity. J. Symb. Log. 66(4): 1959-1973 (2001)
4 Volker Halbach: Editorial Introduction. Studia Logica 68(1): 3-20 (2001)
2000
3EEVolker Halbach, Leon Horsten: Two Proof-Theoretic Remarks on EA + ECT. Math. Log. Q. 46(4): 461-466 (2000)
1999
2 Volker Halbach: Conservative Theories of Classical Truth. Studia Logica 62(3): 353-370 (1999)
1994
1 Volker Halbach: A System of Complete and Consistent Truth. Notre Dame Journal of Formal Logic 35(3): 311-327 (1994)

Coauthor Index

1Leon Horsten [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)