From Boolean algebra to unified algebra (Q1889959): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Structured calculational proof / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5643939 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3069694 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Calculi of Lambda Conversion. (AM-6) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4692630 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4846258 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4384471 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4282663 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: From Boolean algebra to unified algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: How to Write a Proof / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formalizing a Hierarchical Structure of Practical Mathematical Reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Highlights of the History of the Lambda-Calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4282659 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3995087 / rank | |||
Normal rank |
Latest revision as of 16:35, 7 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | From Boolean algebra to unified algebra |
scientific article |
Statements
From Boolean algebra to unified algebra (English)
0 references
13 December 2004
0 references
Boolean algebra
0 references