%0 Journal Article %1 journals/sLogica/Carnielli04 %A Carnielli, Walter Alexandre %D 2004 %J Stud Logica %K dblp %N 3 %P 479-481 %T Book Review: Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkäuser Verlag, 2002, pp 480, ISBN 0-8176-4249-8. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica78.html#Carnielli04 %V 78

@article{journals/sLogica/Carnielli04, added-at = {2020-09-01T00:00:00.000+0200}, author = {Carnielli, Walter Alexandre}, biburl = {https://www.bibsonomy.org/bibtex/2504ce4d0b836fcf7bc8d4cd350b07605/dblp}, ee = {https://doi.org/10.1007/s11225-004-6046-x}, interhash = {f5033d81e0ebd1141cf148d5542e371d}, intrahash = {504ce4d0b836fcf7bc8d4cd350b07605}, journal = {Stud Logica}, keywords = {dblp}, number = 3, pages = {479-481}, timestamp = {2020-09-09T12:38:52.000+0200}, title = {Book Review: Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkäuser Verlag, 2002, pp 480, ISBN 0-8176-4249-8.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica78.html#Carnielli04}, volume = 78, year = 2004 }