Book Review: Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkäuser Verlag, Boston, 2002, €90, pp. 480, ISBN 0-8176-4249-8, hardcover. Dimensions (in inches): 1.00 × 9.96 × 7.36

Author： Carnielli Walter  

Publisher： Springer Publishing Company

ISSN： 0039-3215

Source： Studia Logica, Vol.78, Iss.3, 2004-12, pp. : 479-481

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

S. Barry Cooper, Computability Theory: Chapman & Hall/CRC, 2003, US$ 76.95, 424 pp., ISBN-10: 1584882379, ISBN-13: 978-1584882374, hardcover. Dimensions (in inches): 9.7 × 6.2 × 1.1

By Kristiansen Lars  

Studia Logica, Vol. 86, Iss. 1, 2007-06 ,pp. : 145-146

Springer Publishing Company

Access to resources Recommend Favorite

Logicism Renewed: Logical Foundations for Mathematics and Computer Science

By  

History and Philosophy of Logic, Vol. 29, Iss. 3, 2008-08 ,pp. : 281-287

Taylor & Francis Ltd

Access to resources Recommend Favorite

Nicholas Rescher, Paradoxes: Their Roots, Range, and Resolution; Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science Vol. 53

By  

Studia Logica, Vol. 76, Iss. 1, 2004-01 ,pp. : 135-142

Springer Publishing Company

Access to resources Recommend Favorite

Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies , Springer, Series: Trends in Logic, Vol. 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8 (hardcover) EURO 181,85, 978-94-007-0005-5 (eBook) EURO 159,99.

By Carnielli Walter  

Studia Logica, Vol. 101, Iss. 1, 2013-02 ,pp. : 229-232

Springer Publishing Company

Access to resources Recommend Favorite

IF logic and the foundations of mathematics

By Sandu G.   Hyttinen T.  

Synthese, Vol. 126, Iss. 1-2, 2001-01 ,pp. : 37-47

Springer Publishing Company

Access to resources Recommend Favorite