Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction FR1P46DTP3

URI	`m2://res/FR1P46DTP3`
Kind	monograph
Creators	Pavel Pudlák
Date	2013
MSC	03-01, 03D15, 03E30, 03E35, 03F03, 03F20, 03F30, 03F40, 68Q15
Scope	in

Expressions

e1: edition

Language	en
Date	2013
Ids	DOI 10.1007/978-3-319-00119-7, zbl 1270.03001, zbl_id 6151690

m1: print, Springer International Publishing, 2013 (record). isbn 9783319001180, isbn 9783319001197

Relations

part_of Springer Monographs in Mathematics

References

not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
Sheaves in Geometry and Logic: A First Introduction to Topos Theory (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
A Course in Number Theory and Cryptography (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
Proof Theory (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)

Catalogue records

springer-series: 10.1007/978-3-319-00119-7 (work)
zbmath_search: 6151690 (work)