Dit studieboek van Sara Negri behandelt structural proof theory, een tak van de logica die zich richt op de algemene structuur en eigenschappen van logische en wiskundige bewijzen. Het biedt een compacte introductie tot de centrale resultaten en methoden en is geschikt voor studenten en specialisten in filosofie, wiskunde en informatica. Een belangrijk kenmerk is de interactieve, computerondersteunde programma voor het ontwikkelen van bewijzen, die regelmatig wordt bijgewerkt.
Overzicht
Structural proof theory onderzoekt the general structure van logische bewijzen, met nadruk op natuurlijke deductie en sequent calculus. Het boek bevat uitgebreide resultaten over proof-theoretische systemen en de verbinding tussen logica en wiskunde. De auteurs leggen daarbij de nadruk op de computationele inhoud van logische bevindingen. Dit maakt het een waardevol naslagwerk voor wie zich verdiept in structural proof en aanverwante gebieden.
Productinformatie
- Auteur: Sara Negri (University of Helsinki)
- Uitgever: Cambridge University Press
- Bindwijze: Trade paperback (US)
- Verschijningsdatum: 2008-07-10
- Aantal pagina's: 276
- ISBN: 9780521068420
- Thema: Philosophy: logic
- BISAC: PHILOSOPHY / Logic