- 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 21 to 30 of 163 (0.095 seconds)Spelling suggestions: "subject:"logic, symbolic anda mathematical"" "subject:"logic, symbolic ando mathematical""
| 21 |
Aspects of coherent logicGorman, Judith A. January 1987 (has links)
No description available.
|
| 22 |
Intuitionism and forcing.Rosenfeld, Steven. January 1968 (has links)
No description available.
|
| 23 |
Construction of elementary equivalent models for relational structuresLenihan, William J. (William James) January 1968 (has links)
No description available.
|
| 24 |
The theory of inconsistency: inconsistant mathematics and paraconsistent logic/ C. E. Mortensen.Mortensen, Chris. January 2005 (has links)
Each volume includes author's previously published papers. / Bibliography: leaves 147-151 (v. 1). / 3 v. : / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / Thesis (D.Sc.)--University of Adelaide, School of Mathematical Sciences, 2005
|
| 25 |
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.
|
| 26 |
On checking the temporal consistency of data湯志輝, Tong, Chi-fai. January 1993 (has links)
published_or_final_version / Computer Science / Master / Master of Philosophy
|
| 27 |
An application of logic to category theory.Garon, Emmanuel Yvon January 1972 (has links)
No description available.
|
| 28 |
Proof-theoretical investigations in catagorical algebra.Szabo, M. E. January 1971 (has links)
No description available.
|
| 29 |
Gentzen's consistency proofs.Szabo, M. E. January 1967 (has links)
No description available.
|
| 30 |
Interpolation theorems in logicCurley, John (John Patrick) January 1969 (has links)
No description available.
|
Page generated in 0.0995 seconds