ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
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
Cover for 9780534103569 Cover for 9780981550725 Cover for 9780824708054 Cover for 9780534546441 Cover for 9780821813645
1
cover image for 9780981550725
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
Edition summary (click for prices and details):

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 $189.95 | About this edition: This book should be of interest to intermediate mathematics undergraduates; postgraduates in theoretical computer science/philosophy of mathematics.

2
cover image for 9780824708054
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
Edition summary (click for prices and details):

Paperback:

9780824708054 | CRC Pr I Llc, April 1, 2002, cover price $259.95 | 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.

3
cover image for 9780534546441
Product Description: This highly readable and intuitive introduction to computability theory contains a great many background discussions which introduce the reader to the researched history and philosophical aspects of recursion theory and logic. This book is perfectly suited for class work and individual study, successfully achieving the goal of painlessly introducing technical matter in a readable and stimulating way...read more (view table of contents, read Amazon.com's description)
Edition summary (click for prices and details):

Paperback:

9780534546441 | 2 sub edition (Wadsworth Pub Co, July 1, 1999), cover price $37.95 | About this edition: This highly readable and intuitive introduction to computability theory contains a great many background discussions which introduce the reader to the researched history and philosophical aspects of recursion theory and logic.

4
cover image for 9780821813645
Product Description: This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, São Paolo) in Salvador, Bahia, Brazil...read more
Edition summary (click for prices and details):

Paperback:

9780821813645 | Amer Mathematical Society, July 1, 1999, cover price $69.00 | About this edition: This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, São Paolo) in Salvador, Bahia, Brazil.

5
Product Description: This new edition of the author's well-received Propositional Logics presents the history, philosophy, and mathematics of its subject. Individual chapters are devoted to classical logic, modal logics, many-valued logics, intuitionism, paraconsistent logics, and analytic implication...read more
Edition summary (click for prices and details):

Hardcover:

9780195087611 | 2 sub edition (Oxford Univ Pr, December 1, 1995), cover price $80.00 | About this edition: This new edition of the author's well-received Propositional Logics presents the history, philosophy, and mathematics of its subject.

6
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
Edition summary (click for prices and details):

Paperback:

9780821850763 | Amer Mathematical Society, March 1, 1988, cover price $44.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