Logic colloquium 2005
Auteur :
Dimitracopoulos, Costas / Newelski, Ludomir / Normann, Dag / Steel, John R.
Éditeur :
Cambridge University Press
ISBN :
9780521884259
Date de publication :
3 déc. 2007
Dimensions :
22,9 x 15,2 x 1,7 cm
Poids :
506 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Highlights of this 2007 volume from the Annual European Meeting of the ASL include three papers on different aspects of connections between model theory and algebra; a survey of major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics.