McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 301–334

V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 896.03007] (1998).

Download
No fulltext has been uploaded.
Book Review | English
Publishing Year
Journal Title
Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 896.03007]
Article Number
Zbl. 896.03007
LibreCat-ID

Cite this

Peckhaus V. McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 301–334. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 89603007]. 1998.
Peckhaus, V. (1998). McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 301–334. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 896.03007].
@article{Peckhaus_1998, title={McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 301–334}, number={Zbl. 896.03007}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 896.03007]}, author={Peckhaus, Volker}, year={1998} }
Peckhaus, Volker. “McCarty, David, ‘Completeness for Intuitionistic Logic’, in: P. Odifreddi (Ed.), Kreiseliana, Wellesley, MA 1996, 301–334.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 896.03007], 1998.
V. Peckhaus, “McCarty, David, ‘Completeness for Intuitionistic Logic’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 301–334,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 896.03007]. 1998.
Peckhaus, Volker. “McCarty, David, ‘Completeness for Intuitionistic Logic’, in: P. Odifreddi (Ed.), Kreiseliana, Wellesley, MA 1996, 301–334.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 896.03007], Zbl. 896.03007, 1998.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar