Theory of algorithms

Theory of algorithms

41

Bibliographic Details
Main Author:	343656 Markov, A. A.
Format:
Published:	Jerusalem : Israel Prog For Sci Trans, 1962
Subjects:	Algorithms Logic, Symbolic and mathematical

Similar Items

Algorithmics : theory and practice /
by: 357089 Brassard, Gilles, et al.
Published: (1988)

Mathematical logic, the theory of algorithms and theory of sets /
by: Adjan, S.
Published: (1977)

Logic and algorithms, with applications to the computer and information sciences /
by: 377689 Korfhage, Robert R.
Published: (1966)

Introduction to mathematical logic : set theory computable functions model theory /
by: Malitz, J
Published: (1979)

Logic, automato, and algorithms /
by: Aiserman, Mark A.
Published: (1971)

Mathematical logic : applications and theory /
by: 461395 Rubin, Jean E.
Published: (1990)

Elements of mathematical logic (model theory) /
by: 351900 Kreisel, G., et al.
Published: (1971)

Sentences undecidable in formalized arithmetic : an exposition of theory of Kurt Godel /
by: 355713 Mostowski, Andrzej
Published: (1952)

Logic design theory /
by: Biswas, Nripendra Nath, 1928-
Published: (1993)

What logics mean : from proof theory to model-theoretic semantics /
by: Garson, James W., 1943-
Published: (2013)

The theory of models : proceedings /
by: 389695 Addison, J. W., et al.
Published: (1975)

Intuitionistic logic model theory and forcing /
by: Fitting, Melvin, 1942-
Published: (1969)

CABAL Seminar 76-77 : proceedings, Caltech - UCLA Logic Seminar 1976-77 /
by: Kechris, A. S.
Published: (1978)

Large infinitary languages : model theory /
by: 366838 Dickmann, M. A.
Published: (1975)

Studies in constructive mathematics and mathematical logic /
by: 321705 Slisenko, A. O.
Published: (1970)

Studies in constructive mathematics and mathematical logic /
by: 321705 Slisenko, A. O.
Published: (1971)

Studies in constructive mathematics and mathematical logic /
by: 321705 Slisenko, A. O.
Published: (1969)

Logic for mathematicians /
by: 391265 Hamilton, A. G.
Published: (1988)

Mathematical logic : an introduction to model theory /
by: 314347 Lightstone, A. H., et al.
Published: (1978)

Cambridge summer school in mathematical logic /
by: Mathias, A. R. D., et al.
Published: (1973)

Logic, methodology and philosophy of science IV : proceedings /
by: International Congress for Logic, Methodology and Philosophy of Science (4th : 1971 : Bucharest, Rumania), et al.
Published: (1973)

Mantik : penggunaan dalam pendidikan matematik dan pemikiran /
by: Zaidatun Tasir, 1972-
Published: (1995)

Introduction to symbolic logic /
by: 389591 Basson, A. H., et al.
Published: (1957)

Transition to higher mathematics : structure and proof /
by: 222490 Dumas, Bob A., et al.
Published: (2007)

Set theory and logic /
by: 440414 Stoll, Robert Roth
Published: (1963)

Mathematical logic in Latin America : proceedings of the 4th Latin America Symposium on mathematical logic /
by: Latin-America Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile), et al.
Published: (1980)

Set theory and the continuum hypothesis /
by: 336426 Cohen, Paul J.
Published: (1966)

Sets, logic and axiomatic theories /
by: 440414 Stoll, Robert Roth
Published: (1974)

Mathematical theory of program correctness /
by: 406367 Bakker, Jaco de
Published: (1980)

The logical systems of Lesniewski /
by: 463894 Luschei, Eugene C.
Published: (1962)

Switching circuits : theory and logic design /
by: 227389 Torng, H. C.
Published: (1972)

Elements of mathematical logic and set theory /
by: 323266 Slupecki, J., et al.
Published: (1967)

A four-flagged lemma
by: Sertel, Murat R.
Published: (2009)

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa /
by: De Alcantara, Luiz Paulo
Published: (1985)

Combinatory logic /
by: 351193 Curry, Haskell Brooks, et al.
Published: (1974)

Symbolic logic /
by: 372615 Jacquette, Dale
Published: (2001)

Mathematical logic /
by: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), et al.
Published: (1978)

Proceedings of the summer school and colloqium in mathematical logic /
by: Logic Colloqium '69 : Proceedings of the summer school and colloqium in mathematical logic (August, 1969 : Manchester), et al.
Published: (1969)

Languages, logic and mathematics /
by: Kilmister, C. W. (Clive William)
Published: (1967)

Mathematical foundation of programming /
by: 390126 Beckman, Frank S.
Published: (1980)