search for books and compare prices
Walter A. Carnielli has written 6 work(s)
Search for other authors with the same name
displaying 1 to 6 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Product Description: Now in a new edition!--the classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century, while presenting the basic ideas of whole number, function, proof, and real number...read more
Hardcover:
9780981550725 | Lightning Source Inc, June 30, 2008, cover price $47.95 | About this edition: Now in a new edition!
9780534103569 | Chapman & Hall, October 1, 1989, cover price $220.00 | About this edition: This book should be of interest to intermediate mathematics undergraduates; postgraduates in theoretical computer science/philosophy of mathematics.
Product Description: Presented at the Second World Congress on Paraconsistency held in Juquehy-Sao Sebastiao, Sao Paulo, Brazil, this title represents an integrated discussion of all major topics in the area of paraconsistent logic. It highlights philosophical and historical aspects, major developments and real-world applications...read more
Paperback:
9780824708054 | CRC Pr I Llc, April 1, 2002, cover price $297.00 | About this edition: Presented at the Second World Congress on Paraconsistency held in Juquehy-Sao Sebastiao, Sao Paulo, Brazil, this title represents an integrated discussion of all major topics in the area of paraconsistent logic.
(view table of contents)
Paperback:
9780534546441 | 2 sub edition (Wadsworth Pub Co, July 1, 1999), cover price $41.95
Paperback:
9780821813645 | Amer Mathematical Society, July 1, 1999, cover price $73.00
Hardcover:
9780195087611 | 2 sub edition (Oxford Univ Pr, December 1, 1995), cover price $80.00
Product Description: This volume constitutes the proceedings of the Seventh Latin American Symposium on Mathematical Logic, held July 29-August 2, 1985, at the University of Campinas in Brazil. Striking a balance between breadth of scope and depth of results, the papers in this collection range over a variety of topics in classical and non-classical logics...read more
Paperback:
9780821850763 | Amer Mathematical Society, March 1, 1988, cover price $47.00 | About this edition: This volume constitutes the proceedings of the Seventh Latin American Symposium on Mathematical Logic, held July 29-August 2, 1985, at the University of Campinas in Brazil.
displaying 1 to 6 |
at end