| Translations | |||
| programs | |||
| AxiomatizingConstructiveGeometry.pdf | |||
| BishopForeword.pdf | |||
| BoundaryRegularity.dvi | |||
| BoundaryRegularity.pdf | |||
| BrouwerEuclid.pdf | |||
| Cambridge.pdf | |||
| Circumscription.dvi | |||
| ConstructiveGeometry.dvi | |||
| ConstructiveGeometry.pdf | |||
| ConstructiveGeometryAndTheParallelPostulate.pdf | |||
| ConstructiveGeometryFinalPreprintVersion.dvi | |||
| ConstructiveGeometryFinalPreprintVersion.pdf | |||
| ConstructiveTarski.pdf | |||
| ContinuityInIntuitionisticSetTheories.pdf | |||
| Edinburgh.pdf | |||
| English-ste.pdf | |||
| EnneperNotes.pdf | |||
| EqualFigures.pdf | |||
| ExtensionalityAndChoice.pdf | |||
| Gentzen.pdf | |||
| GoodmansTheoremAndBeyond.pdf | |||
| HISC.DVI | |||
| HerbrandEuclid.pdf | |||
| HigherVariations.pdf | |||
| ImplicitAndExplicitTyping.dvi | |||
| ImplicitAndExplicitTyping.pdf | |||
| ImplicitTyping.dvi | |||
| ImplicitTyping.pdf | |||
| IntroMinimal.pdf | |||
| IsoscelesTilings.pdf | |||
| JSCVersion.dvi | |||
| JSCVersion.pdf | |||
| JSCVersion.ps | |||
| KleeneForeword.pdf | |||
| LambdaLogic.dvi | |||
| LambdaLogic.pdf | |||
| LambdaLogicExtras.dvi | |||
| LambdaLogicExtras.pdf | |||
| LambdaLogicOriginal.dvi | |||
| LambdaLogicOriginal.pdf | |||
| LimitTheory-Long.pdf | |||
| LimitTheory.dvi | |||
| LimitTheory.pdf | |||
| LimitTheory.ps | |||
| MinimalSurfaceExamples.pdf | |||
| NoSevenTiling.pdf | |||
| PSL_Inconsistencies.pdf | |||
| PellSlidesWCNT2022.pdf | |||
| ProofAndComputation.pdf | |||
| ProofCheckingEuclid.pdf | |||
| SSTForeword.pdf | |||
| SevenTriangles.dvi | |||
| SevenTriangles.pdf | |||
| SolvingForFunctions.dvi | |||
| SolvingForFunctions.pdf | |||
| Tarski-JAR.pdf | |||
| TarskiFormalization.pdf | |||
| TarskiProvesHilbert.pdf | |||
| Triangle.dvi | |||
| TriangleTiling.pdf | |||
| TriangleTiling1.pdf | |||
| TriangleTiling2.pdf | |||
| TriangleTiling3.pdf | |||
| TriangleTiling4.pdf | |||
| TriangleTiling5.pdf | |||
| TriangleTilingEquilateral.pdf | |||
| TriangleTilingSimilarCase.pdf | |||
| TriangleTilingSimilarCase.tex | |||
| Unify.dvi | |||
| Unify.pdf | |||
| WebGrades.pdf | |||
| Ziegler.pdf | |||
| aisc.pdf | |||
| aisc.ps | |||
| autopubs.html | |||
| beeson.bib | |||
| beeson1988b.pdf | |||
| ccc.dvi | |||
| ccc.pdf | |||
| circumscription.pdf | |||
| circumscription.ps | |||
| const92.pdf | |||
| const92.ps | |||
| dn.dvi | |||
| dn.pdf | |||
| e.pdf | |||
| e.ps | |||
| esfor.dvi | |||
| esfor.pdf | |||
| euclid2020.pdf | |||
| freek.bib | |||
| freekpubs.php | |||
| hisc.pdf | |||
| hisc.ps | |||
| induction.dvi | |||
| induction.pdf | |||
| inf-basics.pdf | |||
| inf-basicsZML.pdf | |||
| logcomp.html | |||
| logic.html | |||
| logpubs.html | |||
| minsurf.html | |||
| mpdescr.html | |||
| mppubs.html | |||
| nf.pdf | |||
| nsappt.dvi | |||
| nsappt.pdf | |||
| nsappt.ps | |||
| part3.pdf | |||
| part3.tex | |||
| pubs.html | |||
| pubs.php | |||
| reality.dvi | |||
| reality.pdf | |||
| research.html | |||
| sixpi.dvi | |||
| sixpi.pdf | |||
| sixpiReview.dvi | |||
| sixpiReview.pdf | |||
| surfpubs.html | |||
| triangle.pdf | |||
| turing2.dvi | |||
| turing2.pdf | |||
| unify.ps | |||
| unifyAbstract.html | |||
| weier.html | |||
| woslong.dvi | |||
| woslong.pdf |