Mathematical foundations
Category theory Mathematical logic Set theory
Lover Robert:
Elementary Logic
For Software Development
Springer London Ltd (United Kingdom), 2008
Paperback, 328 pages
Ben-Ari M.:
Mathematical Logic For Computer Science
2 Rev Ed
Springer London Ltd (United Kingdom), 2008
Paperback, 318 pages
Pohlers Wolfram:
Proof Theory
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2008
Paperback, 388 pages
Kohlenbach Ulrich:
Applied Proof Theory
Proof Interpretations And Their Use In Mathematics
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2008
Hardback, 556 pages
Recasting Reality
Editor: Harald Atmanspacher
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2008
Hardback, 348 pages
Sacks Gerald E.:
Saturated Model Theory
World Scientific Publishing Co Pte Ltd (Singapore), 2008
Hardback, 350 pages
Livio Mario:
The Equation That Couldn'T Be Solved
How Mathematical Genius Discovered The Language Of Symmetry
New Ed
Souvenir Press Ltd (United Kingdom), 2007
Paperback, 368 pages
Smullyan Raymond M.:
Logical Labyrinths
A K Peters (United States), 2008
Hardback, 275 pages
Category theory Mathematical logic Set theory







