[Handbook of the History of Logic] Logic from Russell to Church Volume 5 || Jacques Herbrand: Life, Logic, and Automated Deduction**Second Readers: Irving H. Anellis, Paolo Bussotti, Lawrence C. Paulson.
Wirth, Claus-PeterYear:
2009
Language:
english
DOI:
10.1016/S1874-5857(09)70009-3
File:
PDF, 572 KB
english, 2009