Yiannis N. Moschovakis. Books and lectures notes on line.
Abstract recursion and intrinsic complexity,
PDF file (1.4 MB).
This book was first
published by Cambridge University Press as Volume 48 in the
Lecture Notes in Logic, © Association for Symbolic Logic,
2019. The Cambridge University Press catalog entry for
the work can be found at CUP listing.
The published version can be purchased through Cambridge
University Press and other standard distribution channels. This
copy is made available for personal use only and must not be sold
Descriptive set theory, second edition,
PDF file (3 MB).
Published by the American Mathematical Society as volume 155
of the Surveys and Monographs series; to buy it from the AMS, go to
A short, elementary introduction to logic. These are the lecture notes I have used in teaching the 10-week, undergraduate, Upper Division course in mathematical logic at UCLA.
The Propositional Calculus, The Lower Predicate Calculus with identity,
The theorems of Tarski and Gödel.
The challenge in this class is to cover the (basic) theorems of Tarski and Gödel in ten weeks for students whose preparation is typically no more than one class in mathematics or philosophy beyond the Calculus.
A logic of meaning and synonymy, with Fritz Hamm,
Lectures notes for an advanced course given in ESSLLI 2010.
Σημειώσεις στη συνολοθεωρία
In Greek, 2007. A preliminary version of the second Greek edition
of Notes on set theory.
Αναδρομή και υπολογισμός.
Recursion and computation, in Greek, 2008, most recent corrections entered
in August, 2011.