Donald W. Loveland. Automated theorem proving. A logical basis. Fundamental studies in computer science, vol. 6. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, xiii + 405 pp.

J. A. Robinson

doi:10.2307/2273428

Donald W. Loveland. Automated theorem proving. A logical basis. Fundamental studies in computer science, vol. 6. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, xiii + 405 pp.

Journal of Symbolic Logic ◽

10.2307/2273428 ◽

1980 ◽

Vol 45 (3) ◽

pp. 629-630

Author(s):

J. A. Robinson

Keyword(s):

New York ◽

Computer Science ◽

Theorem Proving ◽

Automated Theorem Proving ◽

Publishing Company ◽

North Holland Publishing Company ◽

Logical Basis ◽

North Holland Publishing

Download Full-text

B. Courcelle. Equational theories and equivalences of programs. Mathematical logic in computer science, edited by B. Dömölki and T. Gergely, Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 289–302. - J. W. de Barker and J. I. Zucker. Derivatives of programs. Mathematical logic in computer science, edited by B. Dömölki and T. Gergely, Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 321–343. - E. Engeler. An algorithmic model of strict finitism. Mathematical logic in computer science, edited by B. Dömölki and T. Gergely, Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 345–357.

Journal of Symbolic Logic ◽

10.2307/2274158 ◽

1984 ◽

Vol 49 (3) ◽

pp. 990-991 ◽

Cited By ~ 1

Author(s):

Steven S. Muchnick

Keyword(s):

New York ◽

Mathematical Logic ◽

Computer Science ◽

Publishing Company ◽

Mathematical Society ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Algorithmic Model ◽

János Bolyai ◽

Logic In Computer Science

Download Full-text

Seymour Ginsburg. Algebraic and automata-theoretic properties of formal languages. Fundamental studies in computer science, vol. 2. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, xii + 313 pp.

Journal of Symbolic Logic ◽

10.2307/2272400 ◽

1976 ◽

Vol 41 (4) ◽

pp. 788-789

Author(s):

Arto Salomaa

Keyword(s):

New York ◽

Computer Science ◽

Formal Languages ◽

Publishing Company ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Wolf, H. K., P. W. Macfarlane (Eds.): Optimization of Computer ECG Processing. (Proceedings of the IFIP TC 4 Working Conference. Halifax, Canada, June 5–7, 1979.) North-Holland Publishing Company, Amsterdam, New York, Oxford 1980. 346 S., $48.75, Dfl. 100,—.

Biometrical Journal ◽

10.1002/bimj.4710230315 ◽

1981 ◽

Vol 23 (3) ◽

pp. 316-316

Author(s):

D. Bräuer

Keyword(s):

New York ◽

Publishing Company ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Crystal growth: A tutorial approach. W. Bardsley, D. T. J. Hurle, J. B. Mullin (eds). Proceedings of the Third International School on Crystal Growth, 1977. North-Holland Publishing Company, Amsterdam and New York 1979 IX, 408 Seiten, 237 Abbildungen; Preis: US £ 53.75/Dfl. 110.00

Kristall und Technik ◽

10.1002/crat.19800151006 ◽

1980 ◽

Vol 15 (10) ◽

pp. 1130-1130

Author(s):

K. Jacobs

Keyword(s):

New York ◽

Crystal Growth ◽

International School ◽

Publishing Company ◽

North Holland Publishing Company ◽

The Third ◽

North Holland Publishing

Download Full-text

J. L. Bell and M. Machover. A course in mathematical logic. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1977, xix + 599 pp.

Journal of Symbolic Logic ◽

10.2307/2273208 ◽

1980 ◽

Vol 45 (2) ◽

pp. 378-379

Author(s):

Perry Smith

Keyword(s):

New York ◽

Mathematical Logic ◽

Publishing Company ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

R. O. Gandy. Computable functionals of finite type I. Sets, models and recursion theory. Proceedings of the Summer School In Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 202–242.

Journal of Symbolic Logic ◽

10.1017/s0022481200092847 ◽

1970 ◽

Vol 35 (1) ◽

pp. 157-158

Author(s):

Richard A. Platek

Keyword(s):

New York ◽

Mathematical Logic ◽

Finite Type ◽

Summer School ◽

Recursion Theory ◽

Publishing Company ◽

Type I ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

J. R. Shoenfield, Degrees of Unsolvability. (North-Holland mathematics Studies 2). 111 S. Amsterdam/London/New York 1971. North-Holland Publishing Company/American Elsevier Publ. Company. Preis brosch. Hfl. 20.00

ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik ◽

10.1002/zamm.19730530118 ◽

1973 ◽

Vol 53 (1) ◽

pp. 67-68

Author(s):

G. Asser

Keyword(s):

New York ◽

Publishing Company ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Degrees Of Unsolvability

Download Full-text

Helena Rasiowa. Introduction to modern mathematics. English translation of Wstęp do matematyki współczesnej by Olgierd Wojtasiewicz. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, xii + 339 pp.

Journal of Symbolic Logic ◽

10.2307/2271973 ◽

1978 ◽

Vol 43 (1) ◽

pp. 153-154 ◽

Cited By ~ 1

Author(s):

Angelo Margaris

Keyword(s):

New York ◽

English Translation ◽

Publishing Company ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Modern Mathematics

Download Full-text

Robert Goldblatt. Topoi. The categorial analysis of logic. Studies in logic and the foundations of mathematics, vol. 98. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, xv + 486 pp.

Journal of Symbolic Logic ◽

10.2307/2273159 ◽

1982 ◽

Vol 47 (2) ◽

pp. 445-448 ◽

Cited By ~ 1

Author(s):

Philip J. Scott

Keyword(s):

New York ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download 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 Maurice Boffa, Dirk van Dalen, and Kenneth McAloon, Studies in logic and the foundations of mathematics, vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, pp. 159–224.

Journal of Symbolic Logic ◽

10.2307/2274115 ◽

1984 ◽

Vol 49 (1) ◽

pp. 308-311

Author(s):

G. R. Renardel de Lavalette ◽

A. S. Troelstra

Keyword(s):

New York ◽

Publishing Company ◽

Mathematical Society ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Australian Mathematical Society ◽

North Holland Publishing ◽

Lecture Notes ◽

Research Institute

Download Full-text