Skip to content

Explore all content

Explore the content of this site using the filters below to display different categories of information – Item Types, and their sub categories.
When you are looking for specific items of interest, use the search tools; enter keywords in the basic search on the landing page or in the header, or the Search page where you can enter keywords and define search parameters.
38 results found
0 filters applied
Uncheck All / Check All
Download
Contact Us
Compare
Display as:
of 2
Skip to search block

Filter by

Add or Restrict Keywords

Use these options to add or remove words from your search:

AND - the term must be included in any item returned.

OR - the term may be included in any item returned, but does not have to be present. Always relates to the previous keyword/s.
*Cannot follow after NOT.

NOT - the term must not be included in any item returned. Always refers only to this keyword.
*Cannot be followed by OR

To remove a keyword – click X.

To return to your original search terms – click Clear.

Update search
Clear
template is PDF
'Logic at Monash'  - 25 November 1991
template is PDF
Miscellaneous - of interest to Knight?
template is PDF
Math 661
template is PDF
Talk on alternatives [handwritten notes]
template is PDF
Recursive Presentations [photocopied notes]
template is PDF
Recursive Structures
template is PDF
Applications of α -systems
template is PDF
Bits on Recursive Structures
template is PDF
Survey of Recursive Structure Theory
template is PDF
Effectiveness in Algebra
template is PDF
J. Knight papers  [handwritten notes]
template is PDF
Infinitary Properties of Orderings; Ranked predicate formulas etc
template is PDF
Work with Julia  June-July 1990
template is PDF
Partial Differential Fields [handwritten notes]
template is PDF
Differential algebra (GBP); Heyting algebras (JBM) [lecture notes]
template is PDF
Goncharov: Notes on Constructive Models
template is PDF
Isomorphic recursive structures [1991 draft]
template is PDF
Notes [Ash & Knight]
template is PDF
Talks on  ∆ْ۫α method
template is PDF
Topics in Foundations 9.53 MWF, 93 Bascom
template is PDF
[Note on inverse lims; Determinate sets etc]
template is PDF
Research (inc Love) [handwritten notes]
template is PDF
Odds & Ends [Forcing with complete types; Lemma; Claim (CH); short proof of Pythagoras Theorem]
of 2