Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = 'a5qgla87ao8qd4tvlrt5j1sg43' in /var/www/church/includes/database.mysql.inc on line 121
Proof nets and cliques: towards the understanding of analytical proofs | Gruppo di Logica e Geometria della Cognizione

Proof nets and cliques: towards the understanding of analytical proofs

04 / 2006

Michele Pagani

PhD Thesis, Università Roma Tre / Université Aix-Marseille II

Download: tesi.pdf | tesi.ps

BibTeX

@phdthesis{Phdpagani,
	author = {Pagani, Michele},
	title = {Proof nets and cliques: towards the understanding of analytical proofs},
	year= {2006},
	month = {apr},
	school = {Università Roma Tre / Université Aix-Marseille II},
}

Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = 'a5qgla87ao8qd4tvlrt5j1sg43' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/128', '', '18.97.14.84', 1764913508) in /var/www/church/includes/database.mysql.inc on line 121