Lataa...

QR-koodi

Computer science and multiple- valued logic theory and applications

Bibliografiset tiedot
Päätekijä:	Rine, David C (ed.by)
Aineistotyyppi:	Printed Book
Kieli:	English
Julkaistu:	Amsterdam Elsevier Science 1984
Aiheet:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

Samankaltaisia teoksia

(A) course in mathematical logic
Tekijä: Yu.I.Manin
Julkaistu: (1977)

Popular lectures on mathemsatical logic
Tekijä: Wang, Hao
Julkaistu: (1981)

Dictionary of logical terms and symbols
Tekijä: Greenstein, Carol Horn
Julkaistu: (1978)

Theory of recursive functions and effective computability
Tekijä: Jr, Harley Rogers
Julkaistu: (1967)

Fuzzy sets and systems: theory and applications
Tekijä: Dubois, Didier
Julkaistu: (1980)

Computations in higher types
Tekijä: Moldestad, Johan
Julkaistu: (1976)

Language, logic and mathematics
Tekijä: Kilmister, C W
Julkaistu: (1967)

Completeness, Compactness and unddecidability; An introduction to mathematical logic.
Tekijä: Manaster, Alfred B
Julkaistu: (1975)

Proof theory
Tekijä: Schutte, Kurt
Julkaistu: (1977)

Introduction to set theory
Tekijä: Hrbacek, karel
Julkaistu: (1984)

Exercises in set theory
Tekijä: Sigler, L E
Julkaistu: (1979)

Introduction to set theory
Tekijä: Hrbacek, karel
Julkaistu: (1978)

Proceedings: The theory of maodels
Tekijä: Addison, J W
Julkaistu: (1972)

Schaum's outline of theory and problems of set theory and related topics.
Tekijä: Lipschutz, Seymour
Julkaistu: (1976)

Topics in mathematical system theory
Tekijä: Kalman, R.E
Julkaistu: (1974)

Topics in mathematical system theory
Tekijä: Kalman, R.E
Julkaistu: (1974)

Pattern analysis: Lectures in pattern theory
Tekijä: Grenander, Ulf
Julkaistu: (1978)

<Encyclopaedia> of Mathematics and its applications
Tekijä: Gasper, George
Julkaistu: (1990)

Finite mathematics and calculus with applications.
Tekijä: Stratopoulos, G M
Julkaistu: (1976)

Encyclopaedia of Mathematics and its applications
Tekijä: Gasper, George
Julkaistu: (1990)

Collected works:
Tekijä: Bruwer, L E J

Mehtods of finite mathematics
Tekijä: Brown, John W
Julkaistu: (1989)

Studies in applied mathematics
Tekijä: Guillemin, Victor
Julkaistu: (1983)

Mathematical systems: Finite and Infinite
Tekijä: Hackworth, Robert D
Julkaistu: (1969)

Collected works
Tekijä: Brouwer, L E J

Collected works:
Tekijä: Bruwer, L E J

How to solve it: New aspect of mathematical methods
Tekijä: Polya, G
Julkaistu: (1957)

Sets and groups
Tekijä: Green, J A
Julkaistu: (1965)

Souslin problem
Tekijä: Devlion, Keith J
Julkaistu: (1974)

Ganannal
Tekijä: Ramakrsnan, A N

Ganannal
Tekijä: Ramakrsnan, A N
Julkaistu: (1983)

Degrees of Unsolvability
Tekijä: Shoenfield, Joseph R
Julkaistu: (1971)

Introduction to the design and analysis of algorithms
Tekijä: Goodman, S E
Julkaistu: (1977)

Classification algorithms
Tekijä: James, Mike
Julkaistu: (1985)

Recursiveness
Tekijä: Eilenberg, Samuel
Julkaistu: (1970)

Architecute of systems problem solving
Tekijä: Klir, George J.
Julkaistu: (1985)

Advanced mathematics for science: A sequel to mathematics for science
Tekijä: Ferrar, W.L
Julkaistu: (1969)

Canonical Analysis: A review with applications in ecology.
Tekijä: Gittins, R
Julkaistu: (1985)

Modal logic: the Lewis modal systems
Tekijä: Zeman, J. Jay
Julkaistu: (1973)

Computer oriented <numerical methods>
Tekijä: Rajaraman, V.
Julkaistu: (1984)