G. Metakides and A. Nerode. Recursion theory and algebra. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 209–219. - Iraj Kalantari and Allen Retzlaff. Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces. The journal of symbolic logic, vol. by Kierstead, Henry A.

Get full text

List of papers read at sessions of the seminar “algebra and logic”

Get full text

List of the lectures read at the sessions of the seminar “algebra and logic”

Get full text

V. B. Šehtman. An undecidable superintuitionistic propositional calculus. Soviet mathematics, vol. 19 no. 3 (for 1978, pub. 1979), pp. 656–660. (English translation by B. F. Wells of Nérazréšimoé supérintuicionistskoé isčislénié vyskazyvanij, Doklady Akadémii Nauk SSSR , vol. 240(1978), pp. 549–552.) - S. V. Popov. Nondecidable intermediate calculus. Algebra and logic, vol. 20 (1982), pp. 424–461. (English translation of Nérazréšimoé proméžutočnoé isčislénié, Algébra i logika , vol. 20 (1981), p by Urquhart, Alasdair

Get full text

N. V. Belyakin. A variation of Richter's construction of ordinals. English translation of X L 517. Algebra and logic (New York), vol. 8 (1969), pp. 86–96 by Richter, Wayne

Get full text

Solomon Feferman. A language and axioms for explicit mathematics. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 87–139. - Solomon Feferman. Constructive theories of functions and classes. Logic colloquium '78, Proceedings of the colloquium held in Mons, August 1978, edited by Mauric by de Lavalette, G. R. Renardel, Troelstra, A. S.

Get full text

Review: H. C. Torng, Introduction to the Logical Design of Switching Systems; Basil Zacharov, Digital Systems Logic and Circuits; Ray Ryan, Basic Digital Electronics--Understanding Number Systems, Boolean Algebra, & Logic Circuits by Enderton, H. B

Get full text

FINITELY AXIOMATIZABLE THEORIES (Siberian School of Algebra and Logic) By MIKHAIL G. PERETYAT'KIN: 294 pp., US$115.00, ISBN 0 306 11062 8 (Plenum Publishing Corporation (Consultants Bureau), 1997) by Ivanov, Alexandre

Get full text

DEFINABILITY AND COMPUTABILITY (Siberian School of Algebra and Logic) By Yuri L. Ershov: 264 pp., US$96.00, ISBN 0 306 11039 3 (Plenum Publishing Corporation, 1996) by Hyland, J. M. E.

Get full text

Introduction to Boolean algebra and logic design/a program for self-introduction, Gerhard E. Hoernes and Melvin F. Heilweil by Nodelman, Henry M.

Get full text

INCIDENCE STRUCTURES WITH n-METRICS by Dimovski, Dončo, Mandak, Alija

Get full text

ℒn-SEMIGROUPS by Stamenković, Blagoje

Get full text

V. N. Agafonov. Složnost' vyčisléniá psévdoslučajnyh poslédovatél'nostéj. Algébra i logika, vol. 7 no. 2 (1968), pp. 4–19. - V. N. Agafonov. Complexity of computing pseudorandom sequences. English translation of the preceding. Algebra and logic (New York), vol. 7 (1968), pp. 72–81 by Loveland, D. W.

Get full text

H. C. Torng. Introduction to the logical design of switching systems. Addison-Wesley series in electrical engineering. Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, 1964, xii + 286 pp. - Basil Zacharov. Digital systems logic and circuits. American Elsevier Publishing Company, Inc., New York 1968, xv + 160 pp. - Ray Ryan. Basic digital electronics—Understanding number systems, Boolean algebra, & logic circuits. Tab Books, Blue Ridge Summit, Pa., 1975, 210 pp by Enderton, H. B.

Get full text

H. C. Torng. Introduction to the logical design of switching systems. Addison-Wesley series in electrical engineering. Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, 1964, xii + 286 pp. - Basil Zacharov. Digital systems logic and circuits. American Elsevier Publishing Company, Inc., New York 1968, xv + 160 pp. - Ray Ryan. Basic digital electronics—Understanding number systems, Boolean algebra, & logic circuits. Tab Books, Blue Ridge Summit, Pa., 1975, 210 pp by Enderton, H. B.

Get full text

SOME THEOREMS ON A LOCAL (NONASSOCIATIVE) NEAR-RING by Vuković, Veljko

Get full text

INFLATIONS OF A BAND OF MONOIDS by Ćirić, Miroslav, Bogdanović, Stojan

Get full text

RELATIVELY COMPLETE FINITE EXTENSIONS OF BOOLEAN ALGEBRAS by Perović, Žikica

Get full text

SOME CONGRUENCES ON A π-REGULAR SEMIGROUP by Protić, Petar V., Božinović, Milan

Get full text

Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-Valued, Rough Set and Perp Semantics by Kumar, Arun, Banerjee, Mohua

Get full text