Language, proof, and logic

Barwise, Jon

Language, proof, and logic Jon Barwise & John Etchemendy in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu - Stanford, Calif. CSLI Publications 2003 - xi, 587 p. ill. 24 cm 1 cd-rom 1 LPL software manual

Includes glossary and index

157586374X


Λογική

160
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud