Keywords:
Logic, Symbolic and mathematical Congresses
;
Methodology Congresses
;
Science Congresses
;
Philosophy
;
Logique symbolique et mathématique Congrès
;
Méthodologie Congrès
;
Sciences Congrès
;
Philosophie
;
Science Congresses Philosophy
;
Methodology Congresses
;
Logic, Symbolic and mathematical Congresses
;
Science Congresses Suppes
;
Science Philosophy
;
Science Methodology
;
Logic
;
Logic, Symbolic and mathematical Congresses
;
Congresses. Methodology
;
Congresses. Science
;
Philosophy
;
Logic, Symbolic and mathematical Congresses
;
Logique symbolique et mathématique Congrès
;
Methodology Congresses
;
Méthodologie Congrès
;
Science Congresses
;
Philosophy
;
Sciences Congrès
;
Philosophie
;
PHILOSOPHY ; Logic
;
Logic, Symbolic and mathematical
;
Methodology
;
Science ; Philosophy
;
Natuurwetenschappen
;
Wetenschapsfilosofie
;
Conference papers and proceedings
;
Conference papers and proceedings
;
Electronic books
;
Electronic books Conference papers and proceedings
;
Konferenzschrift
Description / Table of Contents:
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
Type of Medium:
Online Resource
Pages:
Online Ressource (x, 981 pages)
Edition:
Online-Ausg. [S.l.] HathiTrust Digital Library Online-Ausg. [S.l.] : HathiTrust Digital Library
ISBN:
0080954847
,
0444104917
,
9780080954844
,
9780444104915
Series Statement:
Studies in logic and the foundations of mathematics v. 74
URL:
https://www.sciencedirect.com/science/bookseries/0049237X/74
URL:
http://www.sciencedirect.com/science/bookseries/0049237X/74
URL:
http://www.sciencedirect.com/science/book/9780444104915
Language:
English
,
French
,
German
,
Russian
Note:
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. - Includes bibliographical references. - Print version record
,
Text in English, French, German, and Russian
,
Includes bibliographical references
,
Print version record
,
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
,
Online-Ausg. [S.l.] : HathiTrust Digital Library
,
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.
Permalink