Laddar...

QR-kod

Computer science and multiple- valued logic theory and applications

Bibliografiska uppgifter
Huvudupphovsman:	Rine, David C (ed.by)
Materialtyp:	Printed Book
Språk:	English
Publicerad:	Amsterdam Elsevier Science 1984
Ämnen:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

Liknande verk

(A) course in mathematical logic
av: Yu.I.Manin
Publicerad: (1977)

Popular lectures on mathemsatical logic
av: Wang, Hao
Publicerad: (1981)

Dictionary of logical terms and symbols
av: Greenstein, Carol Horn
Publicerad: (1978)

Theory of recursive functions and effective computability
av: Jr, Harley Rogers
Publicerad: (1967)

Fuzzy sets and systems: theory and applications
av: Dubois, Didier
Publicerad: (1980)

Computations in higher types
av: Moldestad, Johan
Publicerad: (1976)

Language, logic and mathematics
av: Kilmister, C W
Publicerad: (1967)

Completeness, Compactness and unddecidability; An introduction to mathematical logic.
av: Manaster, Alfred B
Publicerad: (1975)

Proof theory
av: Schutte, Kurt
Publicerad: (1977)

Introduction to set theory
av: Hrbacek, karel
Publicerad: (1984)

Exercises in set theory
av: Sigler, L E
Publicerad: (1979)

Introduction to set theory
av: Hrbacek, karel
Publicerad: (1978)

Proceedings: The theory of maodels
av: Addison, J W
Publicerad: (1972)

Schaum's outline of theory and problems of set theory and related topics.
av: Lipschutz, Seymour
Publicerad: (1976)

Topics in mathematical system theory
av: Kalman, R.E
Publicerad: (1974)

Topics in mathematical system theory
av: Kalman, R.E
Publicerad: (1974)

Pattern analysis: Lectures in pattern theory
av: Grenander, Ulf
Publicerad: (1978)

<Encyclopaedia> of Mathematics and its applications
av: Gasper, George
Publicerad: (1990)

Finite mathematics and calculus with applications.
av: Stratopoulos, G M
Publicerad: (1976)

Encyclopaedia of Mathematics and its applications
av: Gasper, George
Publicerad: (1990)

Collected works:
av: Bruwer, L E J

Mehtods of finite mathematics
av: Brown, John W
Publicerad: (1989)

Studies in applied mathematics
av: Guillemin, Victor
Publicerad: (1983)

Mathematical systems: Finite and Infinite
av: Hackworth, Robert D
Publicerad: (1969)

Collected works
av: Brouwer, L E J

Collected works:
av: Bruwer, L E J

How to solve it: New aspect of mathematical methods
av: Polya, G
Publicerad: (1957)

Sets and groups
av: Green, J A
Publicerad: (1965)

Souslin problem
av: Devlion, Keith J
Publicerad: (1974)

Ganannal
av: Ramakrsnan, A N

Ganannal
av: Ramakrsnan, A N
Publicerad: (1983)

Degrees of Unsolvability
av: Shoenfield, Joseph R
Publicerad: (1971)

Introduction to the design and analysis of algorithms
av: Goodman, S E
Publicerad: (1977)

Classification algorithms
av: James, Mike
Publicerad: (1985)

Recursiveness
av: Eilenberg, Samuel
Publicerad: (1970)

Architecute of systems problem solving
av: Klir, George J.
Publicerad: (1985)

Advanced mathematics for science: A sequel to mathematics for science
av: Ferrar, W.L
Publicerad: (1969)

Canonical Analysis: A review with applications in ecology.
av: Gittins, R
Publicerad: (1985)

Modal logic: the Lewis modal systems
av: Zeman, J. Jay
Publicerad: (1973)

Computer oriented <numerical methods>
av: Rajaraman, V.
Publicerad: (1984)