| Publication | Date of Publication | Type |
|---|
A Beginner's Guide to Mathematical Logic
The American Mathematical Monthly | 2018-07-11 | Paper |
Deleting Edges from Ramsey Minimal Examples
The American Mathematical Monthly | 2016-01-11 | Paper |
Generalized Davis-Putnam and satisfiability problems in mathematics
Logic Journal of the IGPL | 2010-07-26 | Paper |
2-cnfs and logical embeddings
Studia Logica | 2009-11-04 | Paper |
Odd neighborhood transversals on grid graphs
Discrete Mathematics | 2007-08-23 | Paper |
| scientific article; zbMATH DE number 2113454 (Why is no real title available?) | 2004-11-01 | Paper |
| scientific article; zbMATH DE number 1885963 (Why is no real title available?) | 2003-11-05 | Paper |
Property S
Reports on Mathematical Logic | 2002-02-19 | Paper |
Self-similar centralizers of circle maps
Southwest Journal of Pure and Applied Mathematics | 2001-09-26 | Paper |
Self-similar centralizers of circle maps
Southwest Journal of Pure and Applied Mathematics | 2001-09-26 | Paper |
A compactness theorem for linear equations
Studia Logica | 1996-12-12 | Paper |
| scientific article; zbMATH DE number 638364 (Why is no real title available?) | 1995-01-22 | Paper |
BREAKUP: A preprocessing algorithm for satisfiability testing of CNF formulas
Notre Dame Journal of Formal Logic | 1994-09-01 | Paper |
| scientific article; zbMATH DE number 120352 (Why is no real title available?) | 1993-02-22 | Paper |
Two hypergraph theorems equivalent to BPI
Notre Dame Journal of Formal Logic | 1990-01-01 | Paper |
Compactness via prime semilattices
Notre Dame Journal of Formal Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3771600 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3765750 (Why is no real title available?) | 1982-01-01 | Paper |
Generalizing Konig's infinity lemma
Notre Dame Journal of Formal Logic | 1977-01-01 | Paper |
Binary consistent choice on triples
Notre Dame Journal of Formal Logic | 1977-01-01 | Paper |
Elementary Equivalence and Constructible Models of Zermelo‐Fraenkel Set Theory
Mathematical Logic Quarterly | 1976-01-01 | Paper |
A characterization of logical consequence in quantification theory
Notre Dame Journal of Formal Logic | 1975-01-01 | Paper |
| Some Combinatorial Theorems Equivalent to the Prime Ideal Theorem | 1973-01-01 | Paper |
A short proof of Rado's lemma
Journal of Combinatorial Theory. Series B | 1972-01-01 | Paper |
Superinductive classes in class-set theory
Notre Dame Journal of Formal Logic | 1971-01-01 | Paper |
A new proof of the compactness theorem for propositional logic
Notre Dame Journal of Formal Logic | 1970-01-01 | Paper |
