- 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 163 (0.241 seconds)Spelling suggestions: "subject:"logic, symbolic anda mathematical"" "subject:"logic, symbolic ando mathematical""
| 61 |
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.
|
| 62 |
A random formula lower bound for ordered DLL extended with local symmetry recognition /Lindroth, Olof, January 2004 (has links) (PDF)
Lic. , Uppsala, Univ : 2004.
|
| 63 |
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).
|
| 64 |
Vivid logic : knowledge-based reasoning with two kinds of negation /Wagner, Gerd. January 1994 (has links)
Freie Univ., Diss.--Berlin, 1993.
|
| 65 |
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.
|
| 66 |
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.
|
| 67 |
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).
|
| 68 |
Rede en aanschouwing in de wiskundeBeth, Evert Willem. January 1935 (has links)
Proefschrift--Utrecht. / Includes bibliographical references.
|
| 69 |
An evaluation based approach to process calculiRoss, Joshua Robert Xavier. January 1900 (has links)
Thesis (Ph. D.)--University of Cambridge, 1998. / Cover title. "January 1999." Includes bibliographical references.
|
| 70 |
Kants philosophische Begründung des mathematischen Konstruktivismus und seine Wirkung in der Grundlagenforschung. Mit einem Anhang: Zur mathematischen Präzisierung des konstruktiven Prädikativismus.Mainzer, Klaus, January 1900 (has links)
Inaug.-Diss.--Westfälische Wilhelms-Universität, Münster. / Cover title: Mathematischer Konstruktivismus; Kants Begründung und gegenwärtige Präzisierungen der Grundlagenforschung. Bibliography: p. 325-336, 496-497.
|
Page generated in 0.2583 seconds