Non-normalisation de ZF
unpublished (Kiel 1974). Zeitschrift für mathematische Logik und Grundlagen der Mathematik 26, pp. In this presentation, we will focus on the additions of browser based storage. (The linked version is to be preferred to the version in print, as I remove typos and mathematical errors from it as they come to my notice. To appear in Logique et Analyse.
Optimal pricing for a multinomial logit choice model with network effects. There are ideas in this paper that still need to be worked out. Logic, La Jolla, CA
Note: the author says “includes the core results about automorphisms relevant to NFU + “the universe is finite”. 
Paris-Harrington in an NF context
in One hundred Years of Axiomatic Set Theory Cahiers du Centre de Logique, 17 G. 
Foundations of mathematics in polymorphic type theory.
General Outline of the Dissertation. 
A strong and mechanizable grand logic. [1970a]
Sur les systèmes NFi de Da Costa. MHRA Texts & Dissertations (ISSN 0957-0322).
Extensional quotients of structures and applications to the study of the axiom of extensionality. 
Stratified formulas in Zermelo-Fränkel set theory. William lives in Monument, Colorado. [1993b]
Le théorème d’ambiguïté et son extension à la logique intuitionniste. [1991a]
Systems of combinatory logic related to Quine’s ‘New Foundations.
The axiom of infinity in Quine’s New Foundations. Negative binomial sums of random variables and discounted reward processes. Comptes Rendus hebdomadaires des séances de l’Académie des Sciences de Paris (série A) 282, pp. MHRA Texts & Dissertations (ISSN 0957-0322).
Using Yeoman, a scaffolding tool for modern webapps, JHipster will generate a project for you and allow you to use Java 7 or 8, SQL or NoSQL databases, Spring profiles, Maven or Gradle, Grunt or Gulp. 
The structure of the ordinals and the interpretation of ZF in double extension set theory
Studia Logica, 79, pp. European Journal of Operational Research, 197(3), 848-861, 2009. Esser, Olivier 
A strong model of paraconsistent logic. Operations Research, 63(1), 86-103, 2015.
You can use [email protected] to find examples of dissertations which
(Dialectica, 12, pp 451–465; 1957) with a commentary
in Follesdal, ed: Philosophy of Quine, IV Logic, Modality and Philosophy of Mathematics pp 7-16. If you have an insatiable curiosity about Neal, visit his web site at nealford. Journal of Symbolic Logic 2, pp. 
From Bounded Arithmetic to Second Order Arithmetic via Automorphisms
Logic in Tehran, pp. Racontez une histoire, une anecdote.
I also discuss the role of polyglot development, enterprise governance, how data and databases fit into this new world, and tooling to help ensure consistency between core services like logging and monitoring
Doctoral thesis, University of Oxford, awaiting resubmission; an abridged version will appear in Logique et Analyse, 2014. 
Permutations and Wellfoundedness: the True Meaning of the Bizarre Arithmetic of Quine’s NF
Journal of Symbolic Logic, 71 (2006) pp 227-240. 
Church’s Set Theory with a Universal Set
in: Logic, Meaning and Computation: essays in memory of Alonzo Church, Synthese library 305, Kluwer, Dordrecht, Boston and London 2001. 
Frege’s double-correlation thesis and Quine’s set theories NF and ML
Journal of Philosophical Logic, 14, no. Comptes Rendus hebdomadaires des séances de l’Académie des Sciences de Paris (série A) 258, pp. Libert 
On topological set theory
Mathematical Logic Quarterly, 51, pp.