|
|
|
|
| LEADER |
05635nmm a2200625 u 4500 |
| 001 |
EB002120464 |
| 003 |
EBX01000000000000001258521 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
221028 ||| eng |
| 020 |
|
|
|a 9786612309298
|
| 020 |
|
|
|a 9780444104915
|
| 020 |
|
|
|a 0444104917
|
| 020 |
|
|
|a 9781282309296
|
| 020 |
|
|
|a 0080954847
|
| 020 |
|
|
|a 9780080954844
|
| 020 |
|
|
|a 1282309293
|
| 050 |
|
4 |
|a BC135
|
| 100 |
1 |
|
|a Suppes, Patrick
|
| 245 |
0 |
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.
|c 1973, 1973
|
| 300 |
|
|
|a x, 981 pages
|
| 505 |
0 |
|
|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 |
0 |
|
|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 Über abstrakte und idealisierte Objekte, über 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 |
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 |
0 |
|
|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 |
0 |
|
|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
|
| 505 |
0 |
|
|a Includes bibliographical references
|
| 653 |
|
|
|a Science / Philosophy / fast / (OCoLC)fst01108336
|
| 653 |
|
|
|a Méthodologie / Congrès
|
| 653 |
|
|
|a Wetenschapsfilosofie / gtt
|
| 653 |
|
|
|a Logique symbolique et mathématique / Congrès
|
| 653 |
|
|
|a Sciences / Philosophie / Congrès
|
| 653 |
|
|
|a Methodology / Congresses
|
| 653 |
|
|
|a Logic, Symbolic and mathematical / fast / (OCoLC)fst01002068
|
| 653 |
|
|
|a Logic, Symbolic and mathematical / Congresses
|
| 653 |
|
|
|a Science / Philosophy / Congresses
|
| 653 |
|
|
|a Methodology / fast / (OCoLC)fst01018722
|
| 653 |
|
|
|a PHILOSOPHY / Logic / bisacsh
|
| 653 |
|
|
|a Natuurwetenschappen / gtt
|
| 710 |
2 |
|
|a International Congress for Logic, Methodology, and Philosophy of Science ( 1971, Bucharest, Romania)
|
| 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ânia
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b ZDB-1-ELC
|a Elsevier eBook collection Mathematics
|
| 490 |
0 |
|
|a Studies in logic and the foundations of mathematics
|
| 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. - Text in English, French, German, and Russian. - 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
|
| 776 |
|
|
|z 0080954847
|
| 776 |
|
|
|z 0720422744
|
| 776 |
|
|
|z 9780080954844
|
| 776 |
|
|
|z 9780444104915
|
| 776 |
|
|
|z 9780720422740
|
| 856 |
4 |
0 |
|u https://www.sciencedirect.com/science/bookseries/0049237X/74
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 160
|
| 520 |
|
|
|a Provability, Computability and Reflection
|