Equational logic as a programming language

QR Code

Equational logic as a programming language

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	O'Donnell, Michael J., 1952-
פורמט:	ספר
שפה:	אנגלית
יצא לאור:	Cambridge, Mass MIT Press c1985
סדרה:	MIT Press series in the foundations of computing
נושאים:	Programming languages (Electronic computers) Logic, Symbolic and mathematical Equations, Theory of
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

פריטים דומים

The language of logic /
מאת: Freudenthal, Hans, 1905-
יצא לאור: (1966)

Sets, logic, and axiomatic theories /
מאת: Stoll, Robert Roth
יצא לאור: (1961)

Logic and structure
מאת: Dalen, D. van (Dirk van), 1932-
יצא לאור: (1980)

Logic and structure
מאת: Dalen, D. van (Dirk), 1932-
יצא לאור: (1983)

Logic of mathematics : a modern course of classical logic /
מאת: Adamowicz, Zofia
יצא לאור: (1997)

A course in mathematical logic
מאת: Bell, J. L. (John Lane)
יצא לאור: (1977)

Introduction to symbolic logic /
מאת: Smith, Karl J.
יצא לאור: (1991)

Elements of logic and foundations of mathematics in problems /
מאת: Wiktor, Marek
יצא לאור: (1982)

The logical and set-theoretical foundations of mathematics /
מאת: Zulauf, Achim
יצא לאור: (1969)

Introduction to mathematical logic
מאת: Mendelson, Elliott
יצא לאור: (1979)

Principles of mathematical logic /
מאת: Hilbert, D.
יצא לאור: (1990)

An introduction to mathematical logic and type theory : to truth through proof /
מאת: Andrews, P. B. (Peter Bruce), 1937-
יצא לאור: (1986)

Logic for problem solving
מאת: Kowalski, Robert
יצא לאור: (1979)

Logic and algorithms : with applications to the computer and information sciences /
מאת: Korfhage, Robert R.
יצא לאור: (1966)

Math and logic games
מאת: Agostini, Franco
יצא לאור: (1983)

Logic and databases /
יצא לאור: (1978)

Logic, algebra and databases
מאת: Gray, Peter M. D.
יצא לאור: (1984)

Logic : a foundation for computer science /
מאת: Sperschneider, V.
יצא לאור: (1991)

A first course in formal logic and its applications in computer science /
מאת: Dowsing, Roy
יצא לאור: (1986)

Direct and converse theorems : the elements of symbolic logic /
מאת: Gradshtein, I. S.
יצא לאור: (1963)

Computability : computable functions, logic, and the foundations of mathematics /
מאת: Epstein, Richard L.
יצא לאור: (1989)

How to read and do proofs an introduction to mathematical thought process
מאת: Solow, Daniel
יצא לאור: (1982)

Foundations of computing : system development with set theory and logic /
מאת: Scheurer, Thierry
יצא לאור: (1994)

Logic programming /
יצא לאור: (1982)

Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
יצא לאור: (1982)

Elements of the theory of computation
מאת: Lewis, Harry R.
יצא לאור: (1981)

Mathematical thinking /
מאת: Godwin, D. C.
יצא לאור: (1971)

Logic, methodology, and philosophy of science, VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 /
יצא לאור: (1986)

Tractus logico-philosophicus /
מאת: Wittgenstein, Ludwig, 1889-1951
יצא לאור: (1961)

An introduction to modern mathematics /
מאת: Monjallon, Albert
יצא לאור: (1967)

Mathematics and plausible reasoning
מאת: Polya, George, 1887-1985
יצא לאור: (1968)

Introduction to the foundations of mathematics /
מאת: Wilder, Raymond Louis, 1896-
יצא לאור: (1965)

Logic and information /
מאת: Devlin, Keith J.
יצא לאור: (1991)

Fuzzy logic technology and applications I /
יצא לאור: (1994)

Advanced work in English /
מאת: Parker,C. R. E. (Colin Rodwell Eric)
יצא לאור: (1967)

Principles of knowledge representation and reasoning : proceedings of the third international conference (KR '92) /
יצא לאור: (1992)

Fundamentals of logic design and switching theory /
מאת: Friedman, Arthur D.
יצא לאור: (1986)

Foundations--logic, language, and mathematics
יצא לאור: (1984)

From logic to computers
מאת: Thewlis, P. J.
יצא לאור: (1983)

Computer logic : principles and techniques /
מאת: Hutchison, David, M. Tech
יצא לאור: (1987)