NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 638
  • 447
  • 210
  • 159
  • 49
  • 45
  • 19
  • 17
  • 17
  • 16
  • 15
  • 15
  • 15
  • 15
  • 15
  • Tagged with
  • 1925
  • 317
  • 273
  • 200
  • 186
  • 186
  • 165
  • 152
  • 144
  • 138
  • 134
  • 132
  • 130
  • 119
  • 115
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 71 to 80 of 1925 (0.033 seconds)

Spelling suggestions: "subject:"symbolic"" "subject:"ymbolic""

71

Some philosophical aspects of abstract model theory

Westerståhl, Dag, January 1976 (has links)
Thesis--Gothenburg. / Includes bibliographical references (leaves 108-109).
72

An interactionist approach to macro sociology

Kemeny, Jim. January 1976 (has links)
Thesis--Gothenburg. / Includes bibliographical references (leaves 218-234).
73

On checking the temporal consistency of data /

Tong, Chi-fai. January 1993 (has links)
Thesis (M. Phil.)--University of Hong Kong, 1994. / Includes bibliographical references (leaves 100-101).
74

Jaskowski's truth-tables and realizability

Rose, Gene Fuerst. January 1952 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1952. / Includes bibliographical references.
75

A forcing approach to strict-[pi]¹₁ reflection with applications in infinitary logic

Stark, William Richard, January 1975 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1975. / Typescript and manuscript. Vita. Description based on print version record. Includes bibliographical references (leaf [64]).
76

Logique et mathématiques essai historique et critique sur le nombre infini /

Reymond, Arnold, January 1908 (has links)
Thèse--Geneva. / Includes bibliographical references (p. [211]-215) and index.
77

The acceptance and recognition of six logical inference patterns by secondary students

Miller, William Anton, January 1968 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1968. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.
78

Foundations of intensional logic

Kaplan, David Benjamin, January 1964 (has links)
Thesis (Ph. D.)--University of California, 1964. / Includes bibliographical references (leaves 179-182).
79

Der Begriff der Wahrscheinlichkeit für die mathematische Darstellung der Wirklichkeit.

Reichenbach, Hans, January 1916 (has links)
Diss.--Erlangen.
80

Second-order logic is logic

Friend, Michèle Indira January 1997 (has links)
"Second-order logic" is the name given to a formal system. Some claim that the formal system is a logical system. Others claim that it is a mathematical system. In the thesis, I examine these claims in the light of some philosophical criteria which first motivated Frege in his logicist project. The criteria are that a logic should be universal, it should reflect our intuitive notion of logical validity, and it should be analytic. The analysis is interesting in two respects. One is conceptual: it gives us a purchase on where and how to draw a distinction between logic and other sciences. The other interest is historical: showing that second-order logic is a logical system according to the philosophical criteria mentioned above goes some way towards vindicating Frege's logicist project in a contemporary context.

Page generated in 0.04 seconds