---
_id: '3339'
author:
- first_name: Theodor
  full_name: Lettmann, Theodor
  id: '315'
  last_name: Lettmann
  orcid: 0000-0001-5859-2457
- first_name: Hans
  full_name: Kleine Büning, Hans
  last_name: Kleine Büning
citation:
  ama: 'Lettmann T, Kleine Büning H. <i>Propositional Logic : Deduction and Algorithms</i>.
    Cambridge Univ. Press; 1999.'
  apa: 'Lettmann, T., &#38; Kleine Büning, H. (1999). <i>Propositional Logic : Deduction
    and Algorithms</i>. Cambridge Univ. Press.'
  bibtex: '@book{Lettmann_Kleine Büning_1999, series={Cambridge tracts in theoretical
    computer science}, title={Propositional Logic : Deduction and Algorithms}, publisher={Cambridge
    Univ. Press}, author={Lettmann, Theodor and Kleine Büning, Hans}, year={1999},
    collection={Cambridge tracts in theoretical computer science} }'
  chicago: 'Lettmann, Theodor, and Hans Kleine Büning. <i>Propositional Logic : Deduction
    and Algorithms</i>. Cambridge Tracts in Theoretical Computer Science. Cambridge
    Univ. Press, 1999.'
  ieee: 'T. Lettmann and H. Kleine Büning, <i>Propositional Logic : Deduction and
    Algorithms</i>. Cambridge Univ. Press, 1999.'
  mla: 'Lettmann, Theodor, and Hans Kleine Büning. <i>Propositional Logic : Deduction
    and Algorithms</i>. Cambridge Univ. Press, 1999.'
  short: 'T. Lettmann, H. Kleine Büning, Propositional Logic : Deduction and Algorithms,
    Cambridge Univ. Press, 1999.'
date_created: 2018-06-25T10:08:43Z
date_updated: 2022-01-06T06:59:10Z
language:
- iso: eng
publication_identifier:
  isbn:
  - '0521630177'
publication_status: published
publisher: Cambridge Univ. Press
series_title: Cambridge tracts in theoretical computer science
status: public
title: 'Propositional Logic : Deduction and Algorithms'
type: book
user_id: '315'
year: '1999'
...