Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Computer Science and Applied Mathematics) - Softcover

Andrews, Peter B.

 
9780120585366: Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Computer Science and Applied Mathematics)

Weitere beliebte Ausgaben desselben Titels