- 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 31 to 40 of 163 (0.129 seconds)Spelling suggestions: "subject:"logic, symbolic anda mathematical"" "subject:"logic, symbolic ando mathematical""
| 31 |
Combinatory logic and cartesian closed categories.Fox, Thomas F. January 1971 (has links)
No description available.
|
| 32 |
Generating intensional logics : the application of paraconsistent logics to investigate certain areas of the boundaries of mathematics /Lavers, Peter Stanley. January 1985 (has links) (PDF)
Thesis (M.A.)--University of Adelaide, Philosophy Dept.,1985. / Includes errata. Includes bibliographical references (leaves 154-156).
|
| 33 |
The paradoxes of Mr. Russell with a brief account of their history.Guthrie, Edwin Ray, January 1915 (has links)
Thesis. (Ph. D.)--University of Pennsylvania, 1912. / Also available in print.
|
| 34 |
Lower-top and upper-bottom points for any formula in temporal logic/Baysal, Onur. Alizde, Rarail January 2006 (has links) (PDF)
Thesis (Master)--İzmir Institute of Technology, İzmir, 2006 / Keywords:Temporal logic, modal logic. Includes bibliographical references (leaves 45).
|
| 35 |
The limits of science outline of logic and of the methodology of the exact sciences.Chwistek, Leon, Brodie, Helen Charlotte, January 1949 (has links)
H.C. Brodie's Thesis--Columbia University. / Without thesis statement. "First published in 1935 under the title Granice nauki. The present edition has been revised and supplemented by the author." "Bibliography of Chwistek's articles and books": p. [xvii]-xix. Includes bibliographical references.
|
| 36 |
Some philosophical aspects of abstract model theoryWesterståhl, Dag, January 1976 (has links)
Thesis--Gothenburg. / Includes bibliographical references (leaves 108-109).
|
| 37 |
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).
|
| 38 |
Jaskowski's truth-tables and realizabilityRose, Gene Fuerst. January 1952 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1952. / Includes bibliographical references.
|
| 39 |
A forcing approach to strict-[pi]¹₁ reflection with applications in infinitary logicStark, 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]).
|
| 40 |
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.
|
Page generated in 0.133 seconds