This book contains a revised version of the dissertation the author wrote at the Department of Computer Science of the …
The third edition of this well known text continues to provide a solid foundation in mathematical analysis for undergraduate and …
This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical …
This textbook covers the key material for a typical first course in logic for undergraduates or first-year graduate students, in …
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the …
This monograph presents necessary and sufficient conditions for completeness of the linear span of eigenvectors and generalized eigenvectors of operators …
This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., …
