Old Web
English
Sign In
Acemap
>
Paper
>
Abstraction in Propositional Calculus
Abstraction in Propositional Calculus
1993
Attilio Giordana
Lo Bello G
Lorenza Saitta
Keywords:
Propositional variable
Well-formed formula
Discrete mathematics
Zeroth-order logic
Process calculus
Abstraction
Propositional calculus
Mathematics
Negation introduction
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
3
Citations
NaN
KQI
[]