载入...

QR Code

Computer science and multiple- valued logic theory and applications

书目详细资料
主要作者:	Rine, David C (ed.by)
格式:	Printed Book
语言:	English
出版:	Amsterdam Elsevier Science 1984
主题:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

相似书籍

(A) course in mathematical logic
由: Yu.I.Manin
出版: (1977)

Popular lectures on mathemsatical logic
由: Wang, Hao
出版: (1981)

Dictionary of logical terms and symbols
由: Greenstein, Carol Horn
出版: (1978)

Theory of recursive functions and effective computability
由: Jr, Harley Rogers
出版: (1967)

Fuzzy sets and systems: theory and applications
由: Dubois, Didier
出版: (1980)

Computations in higher types
由: Moldestad, Johan
出版: (1976)

Language, logic and mathematics
由: Kilmister, C W
出版: (1967)

Completeness, Compactness and unddecidability; An introduction to mathematical logic.
由: Manaster, Alfred B
出版: (1975)

Proof theory
由: Schutte, Kurt
出版: (1977)

Introduction to set theory
由: Hrbacek, karel
出版: (1984)

Exercises in set theory
由: Sigler, L E
出版: (1979)

Introduction to set theory
由: Hrbacek, karel
出版: (1978)

Proceedings: The theory of maodels
由: Addison, J W
出版: (1972)

Schaum's outline of theory and problems of set theory and related topics.
由: Lipschutz, Seymour
出版: (1976)

Topics in mathematical system theory
由: Kalman, R.E
出版: (1974)

Topics in mathematical system theory
由: Kalman, R.E
出版: (1974)

Pattern analysis: Lectures in pattern theory
由: Grenander, Ulf
出版: (1978)

<Encyclopaedia> of Mathematics and its applications
由: Gasper, George
出版: (1990)

Finite mathematics and calculus with applications.
由: Stratopoulos, G M
出版: (1976)

Encyclopaedia of Mathematics and its applications
由: Gasper, George
出版: (1990)

Collected works:
由: Bruwer, L E J

Mehtods of finite mathematics
由: Brown, John W
出版: (1989)

Studies in applied mathematics
由: Guillemin, Victor
出版: (1983)

Mathematical systems: Finite and Infinite
由: Hackworth, Robert D
出版: (1969)

Collected works
由: Brouwer, L E J

Collected works:
由: Bruwer, L E J

How to solve it: New aspect of mathematical methods
由: Polya, G
出版: (1957)

Sets and groups
由: Green, J A
出版: (1965)

Souslin problem
由: Devlion, Keith J
出版: (1974)

Ganannal
由: Ramakrsnan, A N

Ganannal
由: Ramakrsnan, A N
出版: (1983)

Degrees of Unsolvability
由: Shoenfield, Joseph R
出版: (1971)

Introduction to the design and analysis of algorithms
由: Goodman, S E
出版: (1977)

Classification algorithms
由: James, Mike
出版: (1985)

Recursiveness
由: Eilenberg, Samuel
出版: (1970)

Architecute of systems problem solving
由: Klir, George J.
出版: (1985)

Advanced mathematics for science: A sequel to mathematics for science
由: Ferrar, W.L
出版: (1969)

Canonical Analysis: A review with applications in ecology.
由: Gittins, R
出版: (1985)

Modal logic: the Lewis modal systems
由: Zeman, J. Jay
出版: (1973)

Computer oriented <numerical methods>
由: Rajaraman, V.
出版: (1984)