Redinbo, G. Robert The design and analysis of high-speed logic systems with distributed error correction. (English) Zbl 0628.94019 Spectral techniques and fault detection, Pap. Int. Workshop, Boston/Mass. 1983, Notes Rep. Comput. Sci. Appl. Math. 11, 477-531 (1985). MSC: 94C10 PDFBibTeX XML
Sambin, Giovanni Towards the roots of logic. (Italian) Zbl 0595.03001 Atti degli incontri di logica matematica, Vol. 2, Siena/Italia 1983/84, 377-386 (1985). Reviewer: A.Ursini MSC: 03A05 00A30 PDFBibTeX XML
Thompson, Christopher An introduction to nonstandard analysis. (English) Zbl 0586.03051 Ir. Math. Soc. Newsl. 15, 31-41 (1985). Reviewer: R.A.Herrmann MSC: 03H05 30G06 03-01 PDFBibTeX XMLCite \textit{C. Thompson}, Ir. Math. Soc. Newsl. 15, 31--41 (1985; Zbl 0586.03051)
Lever, David B. Precategory objects of toposes. (English) Zbl 0569.18006 J. Pure Appl. Algebra 35, 47-75 (1985). Reviewer: H.Engenes MSC: 18B25 18F20 03G30 PDFBibTeX XMLCite \textit{D. B. Lever}, J. Pure Appl. Algebra 35, 47--75 (1985; Zbl 0569.18006) Full Text: DOI
Barr, Michael; Wells, Charles Toposes, triples and theories. (English) Zbl 0567.18001 Grundlehren der Mathematischen Wissenschaften, 278. New York etc.: Springer-Verlag. XIII, 345 p. DM 138.00 (1985). Reviewer: Marta Bunge (Montreal /Quebec) MSC: 18-02 18B25 03G30 18C10 18C15 18F20 PDFBibTeX XML
Robert, Alain Analyse non standard. (French) Zbl 0565.03033 Lausanne: Presses Polytechniques Romandes. XVII, 119 p. SFr. 42.00 (1985). Reviewer: J.Lorenz MSC: 03H05 26E35 03-01 26-01 46S20 47A15 34B27 PDFBibTeX XML