Título: Foundations of Mathematical Logic
Autor: Haskell B. Curry
Sinopse: Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods, including algorithms and epitheory, and offers a brief treatment of Markov's approach to algorithms, explains elementary facts about lattices and similar algebraic systems, and more. 1963 edition.
Contexto da obra
Quando a classificação é mais ampla, o contexto do livro costuma depender ainda mais de autoria, tema e edição. “Foundations of Mathematical Logic”, de Haskell B. Curry, publicado pela editora Dover Publications Inc., em 1977 e com 416 páginas, integra a categoria Livros Variados. Por isso, autoria, edição e tema acabam tendo ainda mais peso na forma de apresentar o livro.
Editora: Dover Publications Inc.
Páginas: 416
Ano: 1977
Edição: 2
Linguagem: pt_BR
ISBN: 0486634620
ISBN13: 9780486634623
Sobre a editora
Os livros da editora Dover Publications Inc. apresentam uma variedade de temas que transitam entre ciências exatas, artes visuais e literatura clássica. A experiência de leitura frequentemente envolve um mergulho detalhado em assuntos específicos, como a história da química, técnicas artísticas tradicionais ou coleções de contos e ensaios. O tom das obras varia do didático e técnico ao narrativo e ilustrativo, com muitos volumes oferecendo explicações claras, ilustrações precisas e contextualizações históricas. O catálogo sugere uma preferência por textos que combinam rigor informativo com acessibilidade, contemplando desde guias práticos para desenhistas até compilações literárias que exploram aspectos culturais e históricos.
