---
_id: '18303'
article_number: Zbl. 896.03007
author:
- first_name: Volker
  full_name: Peckhaus, Volker
  id: '391'
  last_name: Peckhaus
citation:
  ama: 'Peckhaus V. McCarty, David, “Completeness for Intuitionistic Logic”, in: P.
    Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334. <i>zbMATH
    Open, Zbl 089603007</i>. Published online 1998.'
  apa: 'Peckhaus, V. (1998). McCarty, David, “Completeness for Intuitionistic Logic”,
    in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334.
    In <i>zbMATH Open, Zbl. 0896.03007</i> (Zbl. 896.03007).'
  bibtex: '@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={zbMATH Open, Zbl. 0896.03007}, author={Peckhaus,
    Volker}, year={1998} }'
  chicago: 'Peckhaus, Volker. “McCarty, David, ‘Completeness for Intuitionistic Logic’,
    in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334.”
    <i>zbMATH Open, Zbl. 0896.03007</i>, 1998.'
  ieee: 'V. Peckhaus, “McCarty, David, ‘Completeness for Intuitionistic Logic’, in:
    P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334,”
    <i>zbMATH Open, Zbl. 0896.03007</i>. 1998.'
  mla: 'Peckhaus, Volker. “McCarty, David, ‘Completeness for Intuitionistic Logic’,
    in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334.”
    <i>zbMATH Open, Zbl. 0896.03007</i>, Zbl. 896.03007, 1998.'
  short: V. Peckhaus, zbMATH Open, Zbl. 0896.03007 (1998).
date_created: 2020-08-26T05:33:12Z
date_updated: 2024-06-19T12:28:13Z
department:
- _id: '520'
extern: '1'
language:
- iso: ger
main_file_link:
- open_access: '1'
  url: https://www.zbmath.org/0896.03007
oa: '1'
publication: zbMATH Open, Zbl. 0896.03007
status: public
title: 'McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi
  (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334'
type: review
user_id: '391'
year: '1998'
...