Foundations of logic and mathematics: Applications to computer science and cryptography
Yves Nievergelt
- Boston Birkhauser c2002
- xvi, 415 p ill 26 cm
Contine Bibliografie si Index
eng
0817642498 (alk. paper) 3764342498 (alk. paper)
2001052551
Symbolic and mathematical Logic Set theory Number theory Computer science--Mathematics