TR / AFCRL-65-640
W. E. Samson
On the theory of boolean formulas : allowable replacements for subformulas / .- ,
Author Added Entry:
L. Calabi;
Copy Details:
Acc. No.: TR5610, Full Call No.: TR AFCRL-65-640, Item type: Technical Report , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
W. E. Samson
On the theory of boolean formulas : allowable replacements for subformulas / .- ,
Author Added Entry:
L. Calabi;
Copy Details:
Acc. No.: TR5610, Full Call No.: TR AFCRL-65-640, Item type: Technical Report , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------