Merkliste 
 1 Ergebnisse 
 
1

Deductive reasoning 

, In: The logical basis for computer programming / Zohar Manna; Richard Waldinger
Vol. 1
,
Addison-Wesley series in computer science
Exemplar:  Zentrale:Magazin 03.d.9118