Studies in Logic and the Foundations of Mathematics
Lev D. Beklemishev · Dov M. Gabbay · A. Arnold · A. Cantini · A. Hajnal · A. Kurucz · A. Levy · A. Máté · A.A. Fraenkel · Bozzano G Luisa · C.C. Chang · C.J. Ash · D. Lascar · D. Niwinski · Dimitrij Skvortsov · E. Börger · E.R. Griffor · F. Wolter · H.-D. Ebbinghaus · H.J. Keisler · Hiroakira Ono · Ian Hodkinson · J. Fernandez-Prida · J. Knight · J. van Benthem · Jaap van Oosten · M. Garrido · M. Rodriguez Artalejo · M. Zakharyaschev · Morten Heine Sørensen · Nikolaos Galatos · P. Erdös · P. Rado · Pawel Urzyczyn · Peter Jipsen · R. Fraisse · R. Goldblatt · Robin Hirsch · S. Shapiro · S. Shelah · S.R. Buss · The Paris Logic The Paris Logic Group · Tomasz Kowalski · Valentin Shehtman · Y. Bar-Hillel
Latest release: June 28, 2014
Logic Design · Computers · Set Theory
Series
62
Books
About this ebook series
Provability, Computability and Reflection
Provability, Computability and Reflection
