Introduction to symbolic logic /

QR Code

Introduction to symbolic logic /

Saved in:

書目詳細資料
主要作者:	Smith, Karl J.
格式:	圖書
語言:	英语
出版:	Pacific Grove, Calif. : Brooks/Cole Pub. Co., c1991.
版:	2nd ed.
叢編:	Brooks/Cole one-unit series in precalculus mathematics
主題:	Logic, Symbolic and mathematical.
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Introduction to mathematical logic
由: Mendelson, Elliott
出版: (1979)

Logic and structure
由: Dalen, D. van (Dirk van), 1932-
出版: (1980)

Logic and structure
由: Dalen, D. van (Dirk), 1932-
出版: (1983)

The language of logic /
由: Freudenthal, Hans, 1905-
出版: (1966)

Logic of mathematics : a modern course of classical logic /
由: Adamowicz, Zofia
出版: (1997)

Principles of mathematical logic /
由: Hilbert, D.
出版: (1990)

A course in mathematical logic
由: Bell, J. L. (John Lane)
出版: (1977)

Logic and algorithms : with applications to the computer and information sciences /
由: Korfhage, Robert R.
出版: (1966)

Direct and converse theorems : the elements of symbolic logic /
由: Gradshtein, I. S.
出版: (1963)

Math and logic games
由: Agostini, Franco
出版: (1983)

Logic and databases /
出版: (1978)

An introduction to mathematical logic and type theory : to truth through proof /
由: Andrews, P. B. (Peter Bruce), 1937-
出版: (1986)

Logic, algebra and databases
由: Gray, Peter M. D.
出版: (1984)

Sets, logic, and axiomatic theories /
由: Stoll, Robert Roth
出版: (1961)

Elements of logic and foundations of mathematics in problems /
由: Wiktor, Marek
出版: (1982)

The logical and set-theoretical foundations of mathematics /
由: Zulauf, Achim
出版: (1969)

How to read and do proofs an introduction to mathematical thought process
由: Solow, Daniel
出版: (1982)

Logic : a foundation for computer science /
由: Sperschneider, V.
出版: (1991)

Introduction to the foundations of mathematics /
由: Wilder, Raymond Louis, 1896-
出版: (1965)

Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
出版: (1982)

Logic for problem solving
由: Kowalski, Robert
出版: (1979)

Mathematical thinking /
由: Godwin, D. C.
出版: (1971)

Computability : computable functions, logic, and the foundations of mathematics /
由: Epstein, Richard L.
出版: (1989)

Logic, methodology, and philosophy of science, VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 /
出版: (1986)

Mathematics and plausible reasoning
由: Polya, George, 1887-1985
出版: (1968)

A practical introduction to the new logic symbols /
由: Kampel, I. J. (Ian Joseph), 1945-
出版: (1986)

A practical introduction to the new logic symbols
由: Kampel, I. J. (Ian Joseph), 1945-
出版: (1985)

Equational logic as a programming language
由: O'Donnell, Michael J., 1952-
出版: (1985)

Symbols: public and private
由: Firth, Raymond William, 1901-
出版: (1973)

Fuzzy logic technology and applications I /
出版: (1994)

A first course in formal logic and its applications in computer science /
由: Dowsing, Roy
出版: (1986)

An introduction to modern mathematics /
由: Monjallon, Albert
出版: (1967)

Foundations of computing : system development with set theory and logic /
由: Scheurer, Thierry
出版: (1994)

An illustrated encyclopaedia of traditional symbols /
由: Cooper, J. C.
出版: (1978)

Dictionary of symbols and imagery /
由: Vries, Ad de
出版: (1981)

Tractus logico-philosophicus /
由: Wittgenstein, Ludwig, 1889-1951
出版: (1961)

Symbol sourcebook : an authoritative guide to international graphic symbols /
由: Dreyfuss, Henry, 1904-
出版: (1972)

A Dictionary of symbols /
由: Cirlot, J. E.
出版: (1971)

Shelter, sign and symbol
出版: (1977)

Advanced work in English /
由: Parker,C. R. E. (Colin Rodwell Eric)
出版: (1967)