Cargando...

Logical foundations of mathematics and computational complexity a gentle introduction

Detalles Bibliográficos
Autor Principal: Pudlak, Pavel
Formato: Printed Book
Idioma:English
Publicado: Heidelberg Springer 2013
Series:Springer Monographs in mathematics
Subjects:
LEADER 00674 a2200193 4500
005 20151026133259.0
008 140927b xxu||||| |||| 00| 0 eng d
020 |a 978331900119 
080 |a 510.6  |b PUD 
100 |a Pudlak, Pavel 
245 |a Logical foundations of mathematics and computational complexity  |b a gentle introduction  
260 |c 2013  |b Springer  |a Heidelberg  
300 |a xiv, 696p. 
490 |a Springer Monographs in mathematics 
653 |a Logic and complexity 
653 |a Mathematics - Complexity theory 
942 |c BK  |6 _ 
999 |c 67065  |d 67065 
952 |0 0  |1 0  |2 udc  |4 0  |6 5106_PUD  |7 0  |9 79326  |a UL  |b UL  |d 2014-09-27  |o 510.6 PUD  |p 00071739  |r 2014-09-27  |w 2014-09-27  |y BK