Alessandro Berarducci

Dipartimento di Matematica
Universita' di Pisa

Ricerche bibliografiche, Servers di Preprints, Biblioteche, Seminari

• Ricerche bibliografiche: MathSciNet e Zentralblatt MATH
• Servers di preprints: arXiv e RAAG
• Biblioteche: Biblioteca SNS , Biblioteca MatFisInf
• Seminari: Dipartimento di matematica , Centro De Giorgi , Scuola Normale Superiore
• Consultazione tesi online

Logic links

• MALOA: From MAthematical LOgic to Applications.
• Fuzzy logic (Vienna)
• Kurt Gödel Research Prize Fellowship 2010. Deadline 15 Nov. 2010
• Grant Opportunity Announcement, Foundational Questions in the Mathematical Sciences, Program Co-chairs: Harvey Friedman & S. Barry Cooper, Deadline for Inquiry: April 15, 2010.

Logic Journals

• Archive for Mathematical Logic
• Notre Dame Journal of Formal Logic
• Algebra and Logic
• Fundamenta Mathematicae

Accesso ai miei dati

• Docente: Berarducci
• Aggiornamento dati personali
• UNIMAP
• Registro lezioni
• Virmap
• Mail sul Cluster
• PRIN 2002
• JSL
• JSLinfo

Risorse on-line

• Enciclopedie matematiche: Wikipedia, Planetmath , Wolfram
• Dizionari: Wordreference , On line translator

HTML

• HTML validator
• Developingwebs

LATEX

• Gruppo utilizzatori italiani di Tex: Help ipertestuale
• Diagram macros
• Hypertext Help with LaTeX
• Latex symbols list (pdf)
• Math Symbols
• Xfig User Manual