Đang tải...

Mã QR

Computer science and multiple- valued logic theory and applications

Chi tiết về thư mục
Tác giả chính:	Rine, David C (ed.by)
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	Amsterdam Elsevier Science 1984
Những chủ đề:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

Những quyển sách tương tự

(A) course in mathematical logic
Bằng: Yu.I.Manin
Được phát hành: (1977)

Popular lectures on mathemsatical logic
Bằng: Wang, Hao
Được phát hành: (1981)

Dictionary of logical terms and symbols
Bằng: Greenstein, Carol Horn
Được phát hành: (1978)

Theory of recursive functions and effective computability
Bằng: Jr, Harley Rogers
Được phát hành: (1967)

Fuzzy sets and systems: theory and applications
Bằng: Dubois, Didier
Được phát hành: (1980)

Computations in higher types
Bằng: Moldestad, Johan
Được phát hành: (1976)

Language, logic and mathematics
Bằng: Kilmister, C W
Được phát hành: (1967)

Completeness, Compactness and unddecidability; An introduction to mathematical logic.
Bằng: Manaster, Alfred B
Được phát hành: (1975)

Proof theory
Bằng: Schutte, Kurt
Được phát hành: (1977)

Introduction to set theory
Bằng: Hrbacek, karel
Được phát hành: (1984)

Exercises in set theory
Bằng: Sigler, L E
Được phát hành: (1979)

Introduction to set theory
Bằng: Hrbacek, karel
Được phát hành: (1978)

Proceedings: The theory of maodels
Bằng: Addison, J W
Được phát hành: (1972)

Schaum's outline of theory and problems of set theory and related topics.
Bằng: Lipschutz, Seymour
Được phát hành: (1976)

Topics in mathematical system theory
Bằng: Kalman, R.E
Được phát hành: (1974)

Topics in mathematical system theory
Bằng: Kalman, R.E
Được phát hành: (1974)

Pattern analysis: Lectures in pattern theory
Bằng: Grenander, Ulf
Được phát hành: (1978)

<Encyclopaedia> of Mathematics and its applications
Bằng: Gasper, George
Được phát hành: (1990)

Finite mathematics and calculus with applications.
Bằng: Stratopoulos, G M
Được phát hành: (1976)

Encyclopaedia of Mathematics and its applications
Bằng: Gasper, George
Được phát hành: (1990)

Collected works:
Bằng: Bruwer, L E J

Mehtods of finite mathematics
Bằng: Brown, John W
Được phát hành: (1989)

Studies in applied mathematics
Bằng: Guillemin, Victor
Được phát hành: (1983)

Mathematical systems: Finite and Infinite
Bằng: Hackworth, Robert D
Được phát hành: (1969)

Collected works
Bằng: Brouwer, L E J

Collected works:
Bằng: Bruwer, L E J

How to solve it: New aspect of mathematical methods
Bằng: Polya, G
Được phát hành: (1957)

Sets and groups
Bằng: Green, J A
Được phát hành: (1965)

Souslin problem
Bằng: Devlion, Keith J
Được phát hành: (1974)

Ganannal
Bằng: Ramakrsnan, A N

Ganannal
Bằng: Ramakrsnan, A N
Được phát hành: (1983)

Degrees of Unsolvability
Bằng: Shoenfield, Joseph R
Được phát hành: (1971)

Introduction to the design and analysis of algorithms
Bằng: Goodman, S E
Được phát hành: (1977)

Classification algorithms
Bằng: James, Mike
Được phát hành: (1985)

Recursiveness
Bằng: Eilenberg, Samuel
Được phát hành: (1970)

Architecute of systems problem solving
Bằng: Klir, George J.
Được phát hành: (1985)

Advanced mathematics for science: A sequel to mathematics for science
Bằng: Ferrar, W.L
Được phát hành: (1969)

Canonical Analysis: A review with applications in ecology.
Bằng: Gittins, R
Được phát hành: (1985)

Modal logic: the Lewis modal systems
Bằng: Zeman, J. Jay
Được phát hành: (1973)

Computer oriented <numerical methods>
Bằng: Rajaraman, V.
Được phát hành: (1984)