Details

Subject(s)

• Algebra, Boolean—Congresses [Browse]
• Logic, Symbolic and mathematical—Congresses [Browse]
• Computer programs—Correctness—Congresses [Browse]
• Combinatory logic—Congresses [Browse]

Related name

• Demetrovics, János [Browse]
• Katona, G. [Browse]
• Salomaa, Arto [Browse]
• Colloquium on Algebra, Combinatorics and Logic in Computer Science (1983 : Györ, Hungary) [Browse]

Series

Colloquia mathematica Societatis János Bolyai, 0139-3383 ; 42 [More in this series]

Notes

Colloquium on Algebra, Combinatorics and Logic in Computer Science held in Györ (Hungary) between Sept. 12-16, 1983.

Bibliographic references

Includes bibliographies.

ISBN

• 0444877584 (v. 1)
• 0444878521 (v. 2)

OCLC

15221848

Statement on language in description

Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...