Logic and Foundations of Mathematics : Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 - Livro de bolso
2010, ISBN: 9048152011
[EAN: 9789048152018], Neubuch, [SC: 0.0], [PU: Springer Netherlands], PHILOSOPHYOFRUDOLFCARNAP; COMPACTNESSTHEOREM; MODALLOGIC; MODELTHEORY; PREDICATELOGIC; PROOFTHEORY; PROPOSITION; SCIE… mais…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) Details... |
2010, ISBN: 9789048152018
Kartoniert, 296 Seiten, 235mm x 155mm x 17mm, Sprache(n): eng The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995,… mais…
buchfreund.de MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2010, ISBN: 9789048152018
Edição encadernada
[ED: Softcover], [PU: Springer / Springer Netherlands], The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offer… mais…
booklooker.de buecher.de GmbH & Co. KG Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
ISBN: 9789048152018
The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present stat… mais…
BarnesandNoble.com new in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio Details... |
2010, ISBN: 9789048152018
Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 1999, 296 Seiten, Publiziert: 2010-12-07T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9789048152018, 0.92 kg, Log… mais…
amazon.de Custos de envio:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Logic and Foundations of Mathematics : Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 - Livro de bolso
2010, ISBN: 9048152011
[EAN: 9789048152018], Neubuch, [SC: 0.0], [PU: Springer Netherlands], PHILOSOPHYOFRUDOLFCARNAP; COMPACTNESSTHEOREM; MODALLOGIC; MODELTHEORY; PREDICATELOGIC; PROOFTHEORY; PROPOSITION; SCIE… mais…
2010, ISBN: 9789048152018
Kartoniert, 296 Seiten, 235mm x 155mm x 17mm, Sprache(n): eng The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995,… mais…
2010
ISBN: 9789048152018
Edição encadernada
[ED: Softcover], [PU: Springer / Springer Netherlands], The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offer… mais…
ISBN: 9789048152018
The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present stat… mais…
2010, ISBN: 9789048152018
Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 1999, 296 Seiten, Publiziert: 2010-12-07T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9789048152018, 0.92 kg, Log… mais…
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science,
EAN (ISBN-13): 9789048152018
ISBN (ISBN-10): 9048152011
Livro de capa dura
Livro de bolso
Ano de publicação: 2010
Editor/Editora: Springer Netherlands Core >1 >T
296 Páginas
Peso: 0,450 kg
Língua: eng/Englisch
Livro na base de dados desde 2011-08-01T12:27:20-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-04-18T12:36:03-03:00 (Sao Paulo)
Número ISBN/EAN: 9789048152018
Número ISBN - Ortografia alternativa:
90-481-5201-1, 978-90-481-5201-8
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: ettore casari, minari pierluigi, cantini
Título do livro: logic methodology and philosophy science, tenth international, foundations mathematics, international congress, august, foundations the international
Dados da editora
Autor: Andrea Cantini; Ettore Casari; Pierluigi Minari
Título: Synthese Library; Logic and Foundations of Mathematics - Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Editora: Springer; Springer Netherland
284 Páginas
Ano de publicação: 2010-12-07
Dordrecht; NL
Impresso / Feito em
Língua: Inglês
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
VIII, 284 p.
BC; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Philosophy of Science; Rudolf Carnap; compactness theorem; logic; modal logic; model theory; predicate logic; proof theory; proposition; science; set theory; Mathematical Logic and Foundations; Logic; Mathematische Grundlagen; Philosophie: Logik; BB
1. Operations, Collections and Sets within a General Axiomatic Framework.- 2. Some Ins and Outs of Indispensability: A Modal-Structural Perspective.- 3. Carnap’s Remarks on Impredicative Definitions and the Genericity Theorem.- 4. Gödel, Turing, and K-Graph Machines.- 5. Linear Recurrence Relations are ?0Definable.- 6. On Applicative Theories.- 7. The Use of a Logical Principle of Uniform Boundedness in Analysis.- 8. Epsilon-Substitution Method for the Ramified Language and ?11-Comprehension Rule.- 9. The Abstract Compactness Theorem Revisited.- 10./On Sets Enclosed Between a Set and Its Double Complement.- 11. Binary Relations in the Social and Mathematical Sciences.- 12. Basic Logic and the Cube of its Extensions.- 13. Some Observations on Noncommutative Substructural Logics.- 14. On Predicate Logic as Modal Logic.- 15. A First-Order Effect and Modal Propositional Formulas.- 16. Herbrand’s Theorem for a Modal Logic.- 17. Intuitionistic Modal Logic.- 18. Dynamic Datastructures.- 19. Resolution and the Decision Problem.- 20. Modal Logic, Linear Logic, Optimal Lambda-Reduction.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9781461201250 Foundations of Logic and Mathematics (Yves Nievergelt)
- 9781461201250 Foundations of Logic and Mathematics (Yves Nievergelt)
- 9781461266235 Foundations of Logic and Mathematics by Yves Nievergelt Paperback | Indigo Chapters (Nievergelt, Yves)
- 9780792356592 Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, ... August 1995 (Synthese Library, 280, Band 280) (Cantini, Andrea|Casari, Ettore|Minari, Pierluigi)
- 9780226575780 Foundations of Logic and Mathematics (International Encyclopaedia of Unified Sciences, Volume I, Number III) (Carnap, Rudolf)
- 9780817642495 Foundations of Logic and Mathematics (Yves Nievergelt)
< Para arquivar...