Cargando…
Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 /
Provability, Computability and Reflection.
| Clasificación: | Libro Electrónico |
|---|---|
| Autores Corporativos: | , , |
| Otros Autores: | |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés Francés Alemán Ruso |
| Publicado: |
Amsterdam : New York :
North-Holland Pub. Co. ; American Elsevier Pub. Co.,
1973.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 74. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn428099619 | ||
| 003 | OCoLC | ||
| 005 | 20231117032822.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 090728s1973 ne ob 100 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d N$T |d OCLCQ |d EBLCP |d IDEBK |d E7B |d OCLCQ |d UKMGB |d OCLCQ |d OCLCE |d OCLCO |d OCLCQ |d OPELS |d OCLCF |d OCLCQ |d OCLCA |d OCLCO |d OCL |d OCLCO |d OCLCQ |d COO |d OCLCO |d OCLCQ |d OCLCO |d DEBSZ |d OCLCQ |d LEAUB |d OCLCQ |d VLY |d S2H |d OCLCO |d OCLCQ | ||
| 016 | 7 | |a 013994754 |2 Uk | |
| 019 | |a 646836428 |a 707687448 |a 761465077 |a 1086407211 |a 1162528545 | ||
| 020 | |a 9780080954844 |q (electronic bk.) | ||
| 020 | |a 0080954847 |q (electronic bk.) | ||
| 020 | |a 0444104917 | ||
| 020 | |a 9780444104915 | ||
| 020 | |a 1282309293 | ||
| 020 | |a 9781282309296 | ||
| 020 | |a 9786612309298 | ||
| 020 | |a 6612309296 | ||
| 020 | |z 9780444104915 | ||
| 020 | |z 0720422744 | ||
| 020 | |z 9780720422740 | ||
| 035 | |a (OCoLC)428099619 |z (OCoLC)646836428 |z (OCoLC)707687448 |z (OCoLC)761465077 |z (OCoLC)1086407211 |z (OCoLC)1162528545 | ||
| 041 | 0 | |a eng |a fre |a ger |a rus | |
| 042 | |a dlr | ||
| 050 | 4 | |a BC135 |b .I55 1971eb | |
| 072 | 7 | |a PHI |x 011000 |2 bisacsh | |
| 082 | 0 | 4 | |a 160 |2 22 |
| 111 | 2 | |a International Congress for Logic, Methodology, and Philosophy of Science |n (4th : |d 1971 : |c Bucharest, Romania) | |
| 245 | 1 | 0 | |a Logic, methodology and philosophy of science IV : |b proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 / |c edited by Patrick Suppes [and others]. |
| 260 | |a Amsterdam : |b North-Holland Pub. Co. ; |a New York : |b American Elsevier Pub. Co., |c 1973. | ||
| 300 | |a 1 online resource (x, 981 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics ; |v v. 74 | |
| 500 | |a Jointly sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science and the Academy of the Socialist Republic of Rumania. | ||
| 546 | |a Text in English, French, German, and Russian. | ||
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2011. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2011 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 505 | 0 | |a Front Cover; Logic, Methodology and Philosophy of Science IV; Copyright Page; Table of Contents; Preface; PART I MATHEMATICAL LOGIC; Chapter 1 Elementary Logic; Chapter 2 Partial Orderings of the Family of?-models; Chapter 3 A Survey of Decidability Results for Modal, Tense and Intermediate Logics; Chapter 4 On the Number of Countable Models of a Countable Superstable Theory; Chapter 5 Countable Models with Standard Part; Chapter 6 Solving Diophantine Equations; Chapter 7 The Hierarchy of?02-sets; Chapter 8 Analytical Definability in a Playful Universe | |
| 505 | 8 | |a PART II FOUNDATIONS OF MATHEMATICAL THEORIESChapter 9 On Recursive Unsolvability of Hilbert's Tenth Problem; Chapter 10 Constructive Mathematics and Models of Intuitionistic Theories; Chapter 11 An Interpretation of Intuitionistic Number Theory; Chapter 12 Nonstandard Arithmetic and Generic Arithmetic; PART III AUTOMATA AND PROGRAMMING LANGUAGES; Chapter 13 Models for Various Type-Free Calculi; Chapter 14 The Dangers of Computer-Science Theory; Chapter 15 Sur un Langage Equivalent au Langage de Dyck; Chapter 16 Formalization of Some Notions in Terms of Computational Complexity | |
| 505 | 8 | |a Chapter 17 Features of Natural Languages in Programming LanguagesPART IV PHILOSOPHY OF LOGIC AND MATHEMATICS; Chapter 18 Towards a Foundation of General Proof Theory; Chapter 19 In Memoriam to Richard Montague; Chapter 20 Some Remarks on Lorenzen's Theory; Chapter 21 Perspectives in the Philosophy of Pure Mathematics; Chapter 22 Hauptsatz for Intuitionistic Simple Type Theory; PART V GENERAL PROBLEMS OF METHODOLOGY AND PHILOSOPHY OF SCIENCE; Chapter 23 On the Logic and Epistemology of the Causal Relation; Chapter 24 On the Different Ingredients of an Empirical Theory | |
| 505 | 8 | |a Chapter 25 Gnoseological Aspects of Present-day ScienceChapter 26 Falsification, Revolution and Continuity in the Development of Science; Chapter 27 Induction and the Empiricist Model of Knowledge; Chapter 28 �Uber abstrakte und idealisierte Objekte, �uber deren methodologischen und gnoseologischen Status; Chapter 29 The Meaning of Theoretical Terms: A Critique of the Standard Empiricist Construal; Chapter 30 Models of Theory-Change; Chapter 31 Falsification and Its Critics; Chapter 32 Demonstrative and Heuristic Aspects in the Logical Modeling of Science | |
| 505 | 8 | |a PART VI FOUNDATIONS OF PROBABILITY AND INDUCTIONChapter 33 Probability in Science: A Personalistic Account; Chapter 34 Induction and Probability in the Nineteenth Century; Chapter 35 Extension of the Theory of Probability; Chapter 36 The Concept of Probability in Psychological Experiments; Chapter 37 Objective Single-Case Probabilities and the Foundations of Statistics; Chapter 38 Propensities, Statistics and Inductive Logic; Chapter 39 Carnap's Normative Theory of Inductive Probability; Chapter 40 New Foundations of Objective Probability: Axioms for Propensities | |
| 520 | |a Provability, Computability and Reflection. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 0 | |a Methodology |v Congresses. | |
| 650 | 0 | |a Science |x Philosophy |v Congresses. | |
| 650 | 6 | |a Logique symbolique et math�ematique |0 (CaQQLa)201-0001166 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 6 | |a M�ethodologie |0 (CaQQLa)201-0042637 |x Congr�es. |0 (CaQQLa)201-0378208 | |
| 650 | 6 | |a Sciences |0 (CaQQLa)201-0010278 |x Philosophie |0 (CaQQLa)201-0010278 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 6 | |a M�ethodologie |0 (CaQQLa)201-0042637 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 7 | |a PHILOSOPHY |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Methodology. |2 fast |0 (OCoLC)fst01018722 | |
| 650 | 7 | |a Science |x Philosophy. |2 fast |0 (OCoLC)fst01108336 | |
| 650 | 1 | 7 | |a Natuurwetenschappen. |2 gtt |
| 650 | 1 | 7 | |a Wetenschapsfilosofie. |2 gtt |
| 655 | 2 | |a Congress |0 (DNLM)D016423 | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft | |
| 655 | 7 | |a Actes de congr�es. |2 rvmgf |0 (CaQQLa)RVMGF-000001049 | |
| 700 | 1 | |a Suppes, Patrick, |d 1922-2014. | |
| 710 | 2 | |a International Union of the History and Philosophy of Science. |b Division of Logic, Methodology and Philosophy of Science. | |
| 710 | 2 | |a Academia Republicii Socialiste Rom�ania. | |
| 776 | 0 | 8 | |i Print version: |a International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania). |t Logic, methodology and philosophy of science IV. |d Amsterdam, North-Holland Pub. Co.; New York, American Elsevier Pub. Co., 1973 |z 9780444104915 |w (DLC) 72088505 |w (OCoLC)988545 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 74. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444104915 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/74 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=74 |z Texto completo |