Foundations of logic and mathematics : applications to computer science and cryptography /

Main Author: Nievergelt, Yves
Format: Book
Language:English
Published: Boston : Birkhäuser, c2002.
Subjects:
LEADER 00815nam a2200229 a 4500
001 537885
005 20171111230002.0
008 011010s2002 maua b 001 0 eng
020 |a 0817642498 (alk. paper) 
040 |a DLC 
050 |a QA9  |b .N53 2002 
082 |2 21  |a 511.3 
100 1 |a Nievergelt, Yves 
245 1 |a Foundations of logic and mathematics :  |b applications to computer science and cryptography /  |c Yves Nievergelt. 
260 1 |a Boston :  |b Birkhäuser,  |c c2002. 
300 1 |a xvi, 415 p. :  |b ill. ;  |c 26 cm. 
504 1 |a Includes bibliographical references (p. [399]-404) and index. 
650 1 |a Logic, Symbolic and mathematical 
650 1 |a Set theory 
650 1 |a Number theory 
650 1 |a Computer science  |x Mathematics 
952 |a GrThPMO  |b 59b006186c5ad17d7e5a96f6  |c 952a  |d 9528  |e QA9.N53 2002  |t 7  |x m  |z Books