Search Images Maps Play YouTube News Gmail Drive More »
My library | Help | Advanced Book Search | Web History | Sign in

Books

Logic, methodology and philosophy of science IV:

proceedings of the Foutth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Front Cover
Patrick Suppes, Leon Henkin, Athanase Joja, Gr C.. Moisil
0 Reviews
North-Holland Publishing Company, 1973 - Mathematics - 981 pages

From inside the book

 

78 pages matching question in this book

Where's the rest of this book?

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

Logic, Methodology and Philosophy of Science: Proceedings of the 1960 ...
Logic, Methodology and Philosophy of Science: Proceedings of the 1960 ...

Limited preview - 1962
Logic, methodology, and philosophy of science: proceedings
Logic, methodology, and philosophy of science: proceedings
Ernest Nagel,International Union of the History and Philosophy of Science,International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science,National Academy of Sciences (U.S.)
Snippet view - 1962
Logic, Methodology and Philosophy of Science: Proceedings
Logic, Methodology and Philosophy of Science: Proceedings
International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science,Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim,Universiṭah ha-ʻIvrit bi-Yerushalayim
Snippet view - 1965
All related books »

Contents

Partial Orderings of the Family of comodels A Mostowski
13
A Survey of Decidability Results for Modal Tense and Intermediate
29
On the Number of Countable Models of a Countable Superstable
45
Copyright

62 other sections not shown

Common terms and phrases

algebra ALGOL 68 analysis argument schema arithmetic assume assumptions axioms calculus Carnap causal cell classical co-model coherence conditions computability predicate concept consider consistent constructive contains corresponding countable deduction defined definition denote diophantine equations elementary submodel elements empirical equivalent example existential exists finite formal formula genetics given Godel number hence hypothesis inductive inference rules integers intermediate logics interpretation intuitionistic intuitionistic logic kind language lattice Lemma logical space mathematical means Mendelian method microtheory modal logic Moschovakis natural numbers notion objects observation obtained operation parameters Philosophy of Science physical polynomial possible Prawitz Prewellordering principles probability problem programming proof theory propensity propositional proved quantum mechanics question reason recursive function relation satisfies scientific Section semantics sense sentences sequence solution specific properties statistical strongly valid structure theorem tion true Turing machine University valid with respect values variables

Bibliographic information

QR code for Logic, methodology and philosophy of science IV
TitleLogic, methodology and philosophy of science IV: proceedings of the Foutth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Volume 74 of Studies in logic and the foundations of mathematics
EditorsPatrick Suppes, Leon Henkin, Athanase Joja, Gr C.. Moisil
PublisherNorth-Holland Publishing Company, 1973
Original fromCornell University
Digitized21 Dec 2010
ISBN0444104917, 9780444104915
Length981 pages
Subjects › 

Logic
Logic, Symbolic and mathematical
Mathematics / Logic
Philosophy / Logic
Science
Science / Philosophy & Social Aspects
  
Export CitationBiBTeX EndNote RefMan