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

V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).

Download
No fulltext has been uploaded.
Book Review | German
Publishing Year
Journal Title
Zentralblatt für Mathematik und ihre Grenzgebiete
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 [Zbl 0894.03002], 301–334. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
Peckhaus, V. (1998). McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334. In 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 [Zbl 0894.03002], 301–334}, number={Zbl. 896.03007}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
Peckhaus, Volker. “McCarty, David, ‘Completeness for Intuitionistic Logic’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334.” Zentralblatt für Mathematik und ihre Grenzgebiete , 1998.
V. Peckhaus, “McCarty, David, ‘Completeness for Intuitionistic Logic’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
Peckhaus, Volker. “McCarty, David, ‘Completeness for Intuitionistic Logic’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 896.03007, 1998.
External material:
Confirmation Letter
Confirmation Letter
Description
All reviews for P.Odifreddi 1996

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar