A First Order System with Finite Choice of Premises

From International Center for Computational Logic

Toggle side column

A First Order System with Finite Choice of Premises

Kai BrünnlerKai Brünnler,  Alessio GuglielmiAlessio Guglielmi
A First Order System with Finite Choice of Premises


Kai Brünnler, Alessio Guglielmi
A First Order System with Finite Choice of Premises
In Hendricks et al., eds., First-Order Logic Revisited. Logos Verlag, to appear
@incollection{BG2004,
  author    = {Kai Br{\"{u}}nnler and Alessio Guglielmi},
  title     = {A First Order System with Finite Choice of Premises},
  editor    = {Hendricks et al.},
  booktitle = {First-Order Logic Revisited},
  publisher = {Logos Verlag},
  year      = {2004}
}