- 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 61 to 70 of 171 (0.07 seconds)Spelling suggestions: "subject:"symbolic anda mathematical"" "subject:"symbolic ando mathematical""
| 61 |
Some results concerning intuitionistic logical categoriesTennenhouse, Karen Heather. January 1975 (has links)
No description available.
|
| 62 |
A comparative analysis of Wittgenstein's 'Tractatus' and Śaṁkara's Advaita Vedānta with an introduction to the logic of comparative methodologyGoldenberg, Daniel S January 1977 (has links)
Typescript. / Thesis (Ph. D.)--University of Hawaii at Manoa, 1977. / Bibliography: leaves 201-216. / Microfiche. / xxxi, 216 leaves
|
| 63 |
The likeness regress : Plato's Parmenides 132c12-133a7 /Otto, Karl Darcy. Hitchcock, David, January 1900 (has links)
Thesis (Ph.D.)--McMaster University, 2003. / Advisor: David L. Hitchcock. Includes bibliographical references (leaves 144-147). Also available via World Wide Web.
|
| 64 |
Presheaf toposes and propositional logic.Squire, Richard. Banaschewski, B. Unknown Date (has links)
Thesis (Ph.D.)--McMaster University (Canada), 1989. / Source: Dissertation Abstracts International, Volume: 52-10, Section: B, page: 5313. Supervisor: B. Banaschewski.
|
| 65 |
A random formula lower bound for ordered DLL extended with local symmetry recognition /Lindroth, Olof, January 2004 (has links) (PDF)
Lic. , Uppsala, Univ : 2004.
|
| 66 |
The logic of bunched implications : a memoir /Horsfall, Benjamin Robert. January 2007 (has links)
Thesis (M.Comp.Sci.)--University of Melbourne, Dept. of Computer Science and Software Engineering, 2007. / Typescript. Includes bibliographical references (leaves 109-116).
|
| 67 |
Vivid logic : knowledge-based reasoning with two kinds of negation /Wagner, Gerd. January 1994 (has links)
Freie Univ., Diss.--Berlin, 1993.
|
| 68 |
Data editing and logic : the covering set method from the perspective of logic /Boskovitz, Agnes. January 2008 (has links)
Thesis (Ph.D.) -- Australian National University, 2008.
|
| 69 |
The categories of Charles Peirce ...Freeman, Eugene, January 1900 (has links)
Thesis (Ph. D.)--University of Chicago, 1937. / Private edition, distributed by the University of Chicago libraries. Chicago, Illinois. Published also without thesis note. Imprint date altered in pen.
|
| 70 |
What are some of the common traits in the thought processes of undergraduate students capable of creating proof? /Duff, Karen Malina, January 2007 (has links) (PDF)
Thesis (M.A.)--Brigham Young University. Dept. of Mathematics Education, 2007. / Includes bibliographical references (p. 56-58).
|
Page generated in 0.1132 seconds