% =====================================================================
%  ch-01.additions.bib — New entries for Chapter 1
%  Style: apalike. Title case-protection uses braces only where
%  apalike's lowercasing would damage a proper noun.
% =====================================================================

% --- Searle's biological naturalism (distinct from the Chinese Room paper) ---
@book{searle1992rediscovery,
  author    = {Searle, John R.},
  title     = {The Rediscovery of the Mind},
  publisher = {MIT Press},
  address   = {Cambridge, MA},
  year      = {1992}
}

% --- Functionalism (Putnam, originator of machine functionalism) ---
@incollection{putnam1967,
  author    = {Putnam, Hilary},
  title     = {The Nature of Mental States},
  booktitle = {Art, Mind, and Religion},
  editor    = {Capitan, W. H. and Merrill, D. D.},
  publisher = {University of Pittsburgh Press},
  address   = {Pittsburgh},
  year      = {1967},
  pages     = {37--48},
  note      = {Originally published as ``Psychological Predicates''}
}

% --- Ibn 'Arabi: Fusus al-Hikam (primary source for tajalli metaphysics) ---
@book{ibnarabi1980,
  author    = {Ibn al-{`}Arab{\=\i}, Mu\d{h}y{\=\i} al-D{\=\i}n},
  title     = {The Bezels of Wisdom ({Fu\d{s}\={u}\d{s} al-\d{H}ikam})},
  publisher = {Paulist Press},
  address   = {New York},
  year      = {1980},
  series    = {Classics of Western Spirituality},
  note      = {Originally composed c.\ 1229. Translated and introduced by R.~W.~J. Austin}
}

% --- Chittick's authoritative study of Ibn 'Arabi's metaphysics ---
@book{chittick1989,
  author    = {Chittick, William C.},
  title     = {The {Sufi} Path of Knowledge: {Ibn al-`Arab{\=\i}}'s Metaphysics of Imagination},
  publisher = {State University of New York Press},
  address   = {Albany},
  year      = {1989}
}

% --- Scholem on Kabbalah, sefirot, Ein Sof ---
@book{scholem1946,
  author    = {Scholem, Gershom},
  title     = {Major Trends in {Jewish} Mysticism},
  publisher = {Schocken Books},
  address   = {New York},
  year      = {1946}
}

@book{scholem1965,
  author    = {Scholem, Gershom},
  title     = {On the {Kabbalah} and Its Symbolism},
  publisher = {Schocken Books},
  address   = {New York},
  year      = {1965},
  note      = {Translated by Ralph Manheim}
}

% --- Gnostic traditions (Pagels, the standard accessible scholarly survey) ---
@book{pagels1979,
  author    = {Pagels, Elaine},
  title     = {The Gnostic Gospels},
  publisher = {Random House},
  address   = {New York},
  year      = {1979}
}

% --- Hans Jonas on Gnosticism as transformative knowledge ---
@book{jonas1958,
  author    = {Jonas, Hans},
  title     = {The Gnostic Religion: The Message of the Alien God and the Beginnings of {Christianity}},
  publisher = {Beacon Press},
  address   = {Boston},
  year      = {1958}
}

% --- Brouwer: intuitionism / constructivism founder ---
@incollection{brouwer1913,
  author    = {Brouwer, L. E. J.},
  title     = {Intuitionism and Formalism},
  booktitle = {Bulletin of the American Mathematical Society},
  publisher = {American Mathematical Society},
  year      = {1913},
  volume    = {20},
  number    = {2},
  pages     = {81--96}
}

% --- Heyting: formalization of intuitionistic logic ---
@book{heyting1956,
  author    = {Heyting, Arend},
  title     = {Intuitionism: An Introduction},
  publisher = {North-Holland},
  address   = {Amsterdam},
  year      = {1956}
}

% --- Martin-Lof: intuitionistic type theory ---
@book{martinlof1984,
  author    = {Martin-L{\"o}f, Per},
  title     = {Intuitionistic Type Theory},
  publisher = {Bibliopolis},
  address   = {Naples},
  year      = {1984},
  note      = {Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980}
}

% --- Curry-Howard correspondence: Howard's original formulation ---
@incollection{howard1980,
  author    = {Howard, William A.},
  title     = {The Formulae-as-Types Notion of Construction},
  booktitle = {To {H. B. Curry}: Essays on Combinatory Logic, Lambda Calculus and Formalism},
  editor    = {Seldin, J. P. and Hindley, J. R.},
  publisher = {Academic Press},
  address   = {Boston, MA},
  year      = {1980},
  pages     = {479--490},
  note      = {Original manuscript circulated 1969}
}
