Introduction to symbolic logic /

kod QR

Introduction to symbolic logic /

Zapisane w:

Opis bibliograficzny
1. autor:	Smith, Karl J.
Format:	Książka
Język:	angielski
Wydane:	Pacific Grove, Calif. : Brooks/Cole Pub. Co., c1991.
Wydanie:	2nd ed.
Seria:	Brooks/Cole one-unit series in precalculus mathematics
Hasła przedmiotowe:	Logic, Symbolic and mathematical.
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

Podobne zapisy

Introduction to mathematical logic
od: Mendelson, Elliott
Wydane: (1979)

Logic and structure
od: Dalen, D. van (Dirk van), 1932-
Wydane: (1980)

Logic and structure
od: Dalen, D. van (Dirk), 1932-
Wydane: (1983)

The language of logic /
od: Freudenthal, Hans, 1905-
Wydane: (1966)

Logic of mathematics : a modern course of classical logic /
od: Adamowicz, Zofia
Wydane: (1997)

Principles of mathematical logic /
od: Hilbert, D.
Wydane: (1990)

A course in mathematical logic
od: Bell, J. L. (John Lane)
Wydane: (1977)

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

Direct and converse theorems : the elements of symbolic logic /
od: Gradshtein, I. S.
Wydane: (1963)

Math and logic games
od: Agostini, Franco
Wydane: (1983)

Logic and databases /
Wydane: (1978)

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

Logic, algebra and databases
od: Gray, Peter M. D.
Wydane: (1984)

Sets, logic, and axiomatic theories /
od: Stoll, Robert Roth
Wydane: (1961)

Elements of logic and foundations of mathematics in problems /
od: Wiktor, Marek
Wydane: (1982)

The logical and set-theoretical foundations of mathematics /
od: Zulauf, Achim
Wydane: (1969)

How to read and do proofs an introduction to mathematical thought process
od: Solow, Daniel
Wydane: (1982)

Logic : a foundation for computer science /
od: Sperschneider, V.
Wydane: (1991)

Introduction to the foundations of mathematics /
od: Wilder, Raymond Louis, 1896-
Wydane: (1965)

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

Logic for problem solving
od: Kowalski, Robert
Wydane: (1979)

Mathematical thinking /
od: Godwin, D. C.
Wydane: (1971)

Computability : computable functions, logic, and the foundations of mathematics /
od: Epstein, Richard L.
Wydane: (1989)

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

Mathematics and plausible reasoning
od: Polya, George, 1887-1985
Wydane: (1968)

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

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

Equational logic as a programming language
od: O'Donnell, Michael J., 1952-
Wydane: (1985)

Symbols: public and private
od: Firth, Raymond William, 1901-
Wydane: (1973)

Fuzzy logic technology and applications I /
Wydane: (1994)

A first course in formal logic and its applications in computer science /
od: Dowsing, Roy
Wydane: (1986)

An introduction to modern mathematics /
od: Monjallon, Albert
Wydane: (1967)

Foundations of computing : system development with set theory and logic /
od: Scheurer, Thierry
Wydane: (1994)

An illustrated encyclopaedia of traditional symbols /
od: Cooper, J. C.
Wydane: (1978)

Dictionary of symbols and imagery /
od: Vries, Ad de
Wydane: (1981)

Tractus logico-philosophicus /
od: Wittgenstein, Ludwig, 1889-1951
Wydane: (1961)

Symbol sourcebook : an authoritative guide to international graphic symbols /
od: Dreyfuss, Henry, 1904-
Wydane: (1972)

A Dictionary of symbols /
od: Cirlot, J. E.
Wydane: (1971)

Shelter, sign and symbol
Wydane: (1977)

Advanced work in English /
od: Parker,C. R. E. (Colin Rodwell Eric)
Wydane: (1967)