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
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... |
2010, ISBN: 9048152011
[EAN: 9789048152018], Neubuch, [PU: Springer Netherlands Dez 2010], PHILOSOPHYOFRUDOLFCARNAP; COMPACTNESSTHEOREM; MODALLOGIC; MODELTHEORY; PREDICATELOGIC; PROOFTHEORY; PROPOSITION; SCIENC… Meer...
AbeBooks.de BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |
2010, ISBN: 9789048152018
pocketboek, gebonden uitgave
[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The IOth International Congress… Meer...
booklooker.de |
2010, ISBN: 9789048152018
Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995, Buch, Softcover, Softcover reprint of hardcover 1st… Meer...
lehmanns.de Verzendingskosten:Versand in 10-14 Tagen. (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], PHILOSOPHYOFRUDOLFCARNAP; COMPACTNESSTHEOREM; MODALLOGIC; MODELTHEORY; PREDICATELOGIC; PROOFTHEORY; PROPOSITION; SCIE… Meer...
Herausgegeben:Minari, Pierluigi; Cantini, Andrea; Casari, Ettore:
Logic and Foundations of Mathematics - pocketboek2010, 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...
2010
ISBN: 9048152011
[EAN: 9789048152018], Neubuch, [PU: Springer Netherlands Dez 2010], PHILOSOPHYOFRUDOLFCARNAP; COMPACTNESSTHEOREM; MODALLOGIC; MODELTHEORY; PREDICATELOGIC; PROOFTHEORY; PROPOSITION; SCIENC… Meer...
2010, ISBN: 9789048152018
pocketboek, gebonden uitgave
[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The IOth International Congress… Meer...
2010, ISBN: 9789048152018
Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995, Buch, Softcover, Softcover reprint of hardcover 1st… Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Logic and Foundations of Mathematics
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)
Detailpagina laatst gewijzigd op 2023-12-04T20:59:40+01: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:
9780226575780 Foundations of Logic and Mathematics (International Encyclopaedia of Unified Sciences, Volume I, Number III) (Carnap, Rudolf)
- 9780226575780 Foundations of Logic and Mathematics (International Encyclopaedia of Unified Sciences, Volume I, Number III) (Carnap, Rudolf)
- Foundations of Logic and Mathematics (International Encyclopaedia of Unified Sciences), Volume I and II, Number 3 (Rudolf Carnap)
- Foundations of Logic and Mathematics (Carnap, Rudlof)
- Foundations of logic and mathematics (International encyclopedia of unified science) (Carnap, Rudolf)
< naar Archief...