QR Code

Mathematical logic and programming languages /

Saved in:

Bibliographic Details
Main Author:	Kowalski, R.
Format:	Book
Language:	English
Published:	Englewood Cliffs : Prentice-Hall International, 1985
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Mathematical logic /
by: Demlová, Marie
Published: (1999)

Mathematical logic /
by: Flum, Jörg, et al.
Published: (1984)

THE LOGIC OF PROGRAMMING /
by: Hehner, Eric C. R.
Published: (1984)

Precision, language and logic /
by: George, Frank Honywill
Published: (1977)

The elements of mathematical logic /
by: Rosenbloom, Paul C.
Published: (1950)

Philosophical and Mathematical Logic
by: de Swart, Harrie
Published: (2018)

Handbook of mathematical logic /
by: Aczel, Peter
Published: (1977)

Mathematical Logic On Numbers, Sets, Structures, and Symmetry /
by: Kossak, Roman
Published: (2018)

FROM LOGIC DESIGN TO LOGIC PROGRAMMING /
by: Snyers, Dominique
Published: (1987)

A mathematical introduction to logic /
by: Enderton, Herbert B., 1936-2010
Published: (2001)

Hilary Putnam on Logic and Mathematics
Published: (2018)

Logic for problem solving /
by: Kowalski, Robert, 1941-
Published: (1979)

MICROPROCESSORS AND PROGRAMMED LOGIC /
by: Short, Kenneth L.
Published: (1987)

ALGEBRAIC AND LOGIC PROGRAMMING /
by: Bergstra, J. A.
Published: (1988)

Temporal logic of programs /
by: Kröger, Fred
Published: (1987)

FOUNDATIONS OF LOGIC PROGRAMMING /
by: Lloyd, John Wylie
Published: (1984)

A course in mathematical logic /
by: Bell, John Lane, et al.
Published: (1977)

Introduction to mathematical logic : set theory. Computable functions. Model theory /
by: Malitz, Jerome
Published: (1979)

PROGRAMMING LANGUAGE TRANSLATION /
by: Berry, R. E.
Published: (1983)

Principles of programming languages /
by: Tennent, R. D.
Published: (1981)

Logic of programs : workshop, ETH Zürich, May-July 1979 /
by: Kozen, Dexter
Published: (1981)

An Introduction to the Language of Mathematics
by: Mynard, Frédéric
Published: (2018)

The evolution of type theory in logic and mathematics /
by: Laan, Twan Dismas Laurens
Published: (1997)

Mathematical logic in the 20th century /
by: Sacks, Gerald E.
Published: (2003)

PROGRAMMING LANGUAGES /
by: Pratt, Terrence W.
Published: (1984)

MICRO-PROLOG. PROGRAMMING IN LOGIC /
by: Clark, Keith L.
Published: (1984)

Deductive databases and logic programming /
by: Das, Subrata Kumar
Published: (1992)

Studies in automatic programming logic /
by: Manna, Zohar
Published: (1977)

Programming of small logic controllers /
by: Fedor, Pavol 1932-
Published: (2001)

Programming languages /
by: Tucker, Allen B.
Published: (1977)

6800 programming for logic design /
by: Osborne, Adam
Published: (1977)

Philosophy's Loss of Logic to Mathematics An Inadequately Understood Take-Over /
by: Park, Woosuk
Published: (2018)

Logical Form Between Logic and Natural Language /
by: Iacona, Andrea
Published: (2018)

Mathematical logic and formalized theories : a survey of basic concepts and results /
by: Rogers, Robert
Published: (1974)

Programming languages : design and implementation /
by: Pratt, Terrence W.
Published: (1975)

Extensions of logic programming : Proceedings, Tübingen, FRG, Dec. 8 - 10, 1989 /
by: Andreoli, Jean-Marc
Published: (1991)

Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
by: Pierro, Alessandra Di
Published: (1996)

The study of programming languages /
by: Stansifer, Ryan
Published: (1995)

Programming language C /
by: Brůha, Ivan
Published: (1996)

The world of programming languages /
by: Marcotty, Michael
Published: (1987)