WF232: Predicate logic vs predicate calculus

W.H.J. Feijen

Onderzoeksoutput: Andere bijdrage › Overige bijdrage › Andere onderzoeksoutput

Originele taal-2Engels
UitgeverTechnische Universiteit Eindhoven
StatusGepubliceerd - 1996

Citeer dit