Artículos relacionados a Proofs and Computations Hardback (Perspectives in Logic)

Proofs and Computations Hardback (Perspectives in Logic) - Tapa dura

Libro 2 de 17: Perspectives in Logic

Schwichtenberg; Wainer

 
9780521517690: Proofs and Computations Hardback (Perspectives in Logic)
Tapa dura
ISBN 10: 0521517699 ISBN 13: 9780521517690
Editorial: Cambridge University Press, 2011

Sinopsis

Written by acknowledged experts, for advanced students and researchers in mathematical logic and computer science, this volume provides a detailed, self-contained coverage of proof theory in both classical and constructive arithmetics, up to finitely iterated inductive definitions. Deep connections with computability, complexity and program extraction form the principal themes.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca de los autores

Helmut Schwichtenberg is an Emeritus Professor of Mathematics at Ludwig-Maximilians-Universität München. He has recently developed the 'proof-assistant' MINLOG, a computer-implemented logic system for proof/program development and extraction of computational content.

Stanley S. Wainer is an Emeritus Professor of Mathematics at the University of Leeds and a past-President of the British Logic Colloquium.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Cambridge University Press
Año de publicación
2011
Idioma
Inglés
ISBN 10 
0521517699
ISBN 13 
9780521517690
Encuadernación
Tapa dura
Número de páginas
480
Contacto del fabricante
no disponible
Persona responsable
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Alemania