Proof, logic, and formalization

Sparad:
Bibliografiska uppgifter
Institutionell upphovsman: ebrary, Inc
Övriga upphovsmän: Detlefsen, Michael, 1948-
Materialtyp: Elektronisk E-bok
Språk:engelska
Publicerad: London ; New York : Routledge, 1992.
Ämnen:
Länkar:An electronic book accessible through the World Wide Web; click to view
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!