Carregant...

Codi QR

Computer science and multiple- valued logic theory and applications

Dades bibliogràfiques
Autor principal:	Rine, David C (ed.by)
Format:	Printed Book
Idioma:	English
Publicat:	Amsterdam Elsevier Science 1984
Matèries:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

Ítems similars

(A) course in mathematical logic
per: Yu.I.Manin
Publicat: (1977)

Popular lectures on mathemsatical logic
per: Wang, Hao
Publicat: (1981)

Dictionary of logical terms and symbols
per: Greenstein, Carol Horn
Publicat: (1978)

Theory of recursive functions and effective computability
per: Jr, Harley Rogers
Publicat: (1967)

Fuzzy sets and systems: theory and applications
per: Dubois, Didier
Publicat: (1980)

Computations in higher types
per: Moldestad, Johan
Publicat: (1976)

Language, logic and mathematics
per: Kilmister, C W
Publicat: (1967)

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

Proof theory
per: Schutte, Kurt
Publicat: (1977)

Introduction to set theory
per: Hrbacek, karel
Publicat: (1984)

Exercises in set theory
per: Sigler, L E
Publicat: (1979)

Introduction to set theory
per: Hrbacek, karel
Publicat: (1978)

Proceedings: The theory of maodels
per: Addison, J W
Publicat: (1972)

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

Topics in mathematical system theory
per: Kalman, R.E
Publicat: (1974)

Topics in mathematical system theory
per: Kalman, R.E
Publicat: (1974)

Pattern analysis: Lectures in pattern theory
per: Grenander, Ulf
Publicat: (1978)

<Encyclopaedia> of Mathematics and its applications
per: Gasper, George
Publicat: (1990)

Finite mathematics and calculus with applications.
per: Stratopoulos, G M
Publicat: (1976)

Encyclopaedia of Mathematics and its applications
per: Gasper, George
Publicat: (1990)

Collected works:
per: Bruwer, L E J

Mehtods of finite mathematics
per: Brown, John W
Publicat: (1989)

Studies in applied mathematics
per: Guillemin, Victor
Publicat: (1983)

Mathematical systems: Finite and Infinite
per: Hackworth, Robert D
Publicat: (1969)

Collected works
per: Brouwer, L E J

Collected works:
per: Bruwer, L E J

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

Sets and groups
per: Green, J A
Publicat: (1965)

Souslin problem
per: Devlion, Keith J
Publicat: (1974)

Ganannal
per: Ramakrsnan, A N

Ganannal
per: Ramakrsnan, A N
Publicat: (1983)

Degrees of Unsolvability
per: Shoenfield, Joseph R
Publicat: (1971)

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

Classification algorithms
per: James, Mike
Publicat: (1985)

Recursiveness
per: Eilenberg, Samuel
Publicat: (1970)

Architecute of systems problem solving
per: Klir, George J.
Publicat: (1985)

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

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

Modal logic: the Lewis modal systems
per: Zeman, J. Jay
Publicat: (1973)

Computer oriented <numerical methods>
per: Rajaraman, V.
Publicat: (1984)