Logic for Computer Science

Podrobný výpis o publikaci

1990

Reeves, S., Clarke, M.

Reeves, S., Clarke, M.

Addison-Wesley Longman Publishing Co. Boston, 1990

Změněno: 31. 1. 2019 10:25, RNDr. Jan Géryk, Ph.D.

Reeves, S., Clarke, M. Logic for Computer Science. Addison-Wesley Longman Publishing Co. Boston, 1990.

Reeves, S., Clarke, M. \textit{Logic for Computer Science}. Addison-Wesley Longman Publishing Co. Boston, 1990.