
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, [PU: Springer Netherlands, Springer Netherlands], MODEL THEORY; PHILOSOPHY OF SCIENCE; PROPOSITION; RUDOLF CARNAP; COMPACTNESS THEOREM; LOGIC; MODAL PREDICA… Meer...
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.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], RUDOLF CARNAP; COMPACTNESS THEOREM; MODAL LOGIC; MODEL THEORY; PREDICATE PROOF PROPOSITION; SET THEORY, Druck auf Anf… Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |

2007, ISBN: 9789048152018
gewerbliches Angebot, [SC: 0.00], Neuware, [PU: Springer Netherlands, Springer Netherlands], 235x155x17 mm, 296, [GW: 452g], [ED: Taschenbuch], DE, Neuware - The IOth International Congre… Meer...
booklooker.de Buchhandlung Hoffmann Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |

2010, ISBN: 9789048152018
Editor: Cantini, Andrea, Editor: Casari, Ettore, Editor: Minari, Pierluigi, Springer, Paperback, Auflage: Softcover reprint of hardcover 1st ed. 1999, 292 Seiten, Publiziert: 2010-12-07T0… Meer...
amazon.com tabletopart Gebraucht, wie neu. Verzendingskosten:Usually ships within 2 to 3 weeks. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 15.67) Details... |

2010, ISBN: 9789048152018
Sous la direction de: Cantini, Andrea, Sous la direction de: Casari, Ettore, Sous la direction de: Minari, Pierluigi, Springer, Broché, Auflage: Softcover reprint of hardcover 1st ed. 199… Meer...
amazon.fr |


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, [PU: Springer Netherlands, Springer Netherlands], MODEL THEORY; PHILOSOPHY OF SCIENCE; PROPOSITION; RUDOLF CARNAP; COMPACTNESS THEOREM; LOGIC; MODAL PREDICA… Meer...

Andrea Cantini:
Logic and Foundations of Mathematics : Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 - pocketboek2010, ISBN: 9048152011
[EAN: 9789048152018], Neubuch, [SC: 0.0], [PU: Springer Netherlands], RUDOLF CARNAP; COMPACTNESS THEOREM; MODAL LOGIC; MODEL THEORY; PREDICATE PROOF PROPOSITION; SET THEORY, Druck auf Anf… Meer...

2007
ISBN: 9789048152018
gewerbliches Angebot, [SC: 0.00], Neuware, [PU: Springer Netherlands, Springer Netherlands], 235x155x17 mm, 296, [GW: 452g], [ED: Taschenbuch], DE, Neuware - The IOth International Congre… Meer...

2010, ISBN: 9789048152018
Editor: Cantini, Andrea, Editor: Casari, Ettore, Editor: Minari, Pierluigi, Springer, Paperback, Auflage: Softcover reprint of hardcover 1st ed. 1999, 292 Seiten, Publiziert: 2010-12-07T0… Meer...

2010, ISBN: 9789048152018
Sous la direction de: Cantini, Andrea, Sous la direction de: Casari, Ettore, Sous la direction de: Minari, Pierluigi, Springer, Broché, Auflage: Softcover reprint of hardcover 1st ed. 199… 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, ... August 1995: 280 (Synthese Library, 280)
EAN (ISBN-13): 9789048152018
ISBN (ISBN-10): 9048152011
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
296 Bladzijden
Gewicht: 0,450 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2011-08-01T17:27:20+02:00 (Amsterdam)
Boek voor het laatst gevonden op 2025-06-11T13:05:39+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, philosophy mathematics selected
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:
9780792356592 Logic and Foundations of Mathematics (Cantini Andrea Casari Ettore Minari Pierluigi)
- 9780792356592 Logic and Foundations of Mathematics (Cantini Andrea Casari Ettore Minari Pierluigi)
- 9780226575780 Foundations of Logic and Mathematics (International Encyclopaedia of Unified Sciences, Volume I, Number III) (Carnap, Rudolf)
- Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, ... Library Book 280) (English Edition) (Cantini, Andrea et al. (Eds.))
- Foundations of Logic and Mathematics (Carnap, Rudlof)
< naar Archief...