Logic and Foundations of Mathematics : Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 - pocketboek
2010, ISBN: 9048152011
[EAN: 9789048152018], Neubuch, [SC: 0.0], [PU: Springer Netherlands], PHILOSOPHYOFRUDOLFCARNAP; COMPACTNESSTHEOREM; MODALLOGIC; MODELTHEORY; PREDICATELOGIC; PROOFTHEORY; PROPOSITION; SCIE… Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten: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,… Meer...
buchfreund.de MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2010, ISBN: 9789048152018
gebonden uitgave
[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… Meer...
booklooker.de buecher.de GmbH & Co. KG Verzendingskosten: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… Meer...
BarnesandNoble.com new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten 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… Meer...
amazon.de Verzendingskosten: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 - pocketboek
2010, ISBN: 9048152011
[EAN: 9789048152018], Neubuch, [SC: 0.0], [PU: Springer Netherlands], PHILOSOPHYOFRUDOLFCARNAP; COMPACTNESSTHEOREM; MODALLOGIC; MODELTHEORY; PREDICATELOGIC; PROOFTHEORY; PROPOSITION; SCIE… Meer...
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,… Meer...
2010
ISBN: 9789048152018
gebonden uitgave
[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… Meer...
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… Meer...
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… Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - 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
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer Netherlands Core >1 >T
296 Bladzijden
Gewicht: 0,450 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2011-08-01T17:27:20+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-04-18T17:36:03+02:00 (Amsterdam)
ISBN/EAN: 9789048152018
ISBN - alternatieve schrijfwijzen:
90-481-5201-1, 978-90-481-5201-8
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: ettore casari, minari pierluigi, cantini
Titel van het boek: logic methodology and philosophy science, tenth international, foundations mathematics, international congress, august, foundations the international
Gegevens van de uitgever
Auteur: Andrea Cantini; Ettore Casari; Pierluigi Minari
Titel: 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
Uitgeverij: Springer; Springer Netherland
284 Bladzijden
Verschijningsjaar: 2010-12-07
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
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.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
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)
< naar Archief...