MSU Libraries
Digital Repository
Home
About
Collections
Selected filters
Collection: ("Electronic Theses & Dissertations")
×
Copyright Status: In Copyright
×
Material Type: Theses
×
Subject: Proof theory
×
Collection
Sort
Alphabetically
By count
Electronic Theses & Dissertations
3
Language
Sort
Alphabetically
By count
English
3
Subject
Sort
Alphabetically
By count
Combinatorial identities
1
Congruences (Geometry)
1
Decision making
1
Dehn surgery (Topology)
1
Floer homology
1
Knot theory
1
Logic, Symbolic and mathematical
1
Mathematics
1
Reasoning
1
Thought and thinking
1
Topological spaces
1
Year
TO
Apply
Search results
Showing 1 to 3 of 3 results
Results per page
20
50
100
Sort by
Most Relevant
Title (A-Z)
Title (Z-A)
Date (Newest)
Date (Oldest)
Most Recent
Least Relevant
Generating function proofs of identities and congruences
Cheng, Szu-En
Text (2003)
Part of
Electronic Theses & Dissertations
Heegaard Floer homology and L-space knots
Vafaee, Faramarz
Text (2014)
Part of
Electronic Theses & Dissertations
Students' logical reasoning and mathematical proving of implications
Lee, KoSze
Text (2011)
Part of
Electronic Theses & Dissertations
First
1
(current)
Last