Loading...

QR Code

Computer science and multiple- valued logic theory and applications

Bibliografiske detaljer
Hovedforfatter:	Rine, David C (ed.by)
Format:	Printed Book
Sprog:	English
Udgivet:	Amsterdam Elsevier Science 1984
Fag:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

Lignende værker

(A) course in mathematical logic
af: Yu.I.Manin
Udgivet: (1977)

Popular lectures on mathemsatical logic
af: Wang, Hao
Udgivet: (1981)

Dictionary of logical terms and symbols
af: Greenstein, Carol Horn
Udgivet: (1978)

Theory of recursive functions and effective computability
af: Jr, Harley Rogers
Udgivet: (1967)

Fuzzy sets and systems: theory and applications
af: Dubois, Didier
Udgivet: (1980)

Computations in higher types
af: Moldestad, Johan
Udgivet: (1976)

Language, logic and mathematics
af: Kilmister, C W
Udgivet: (1967)

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

Proof theory
af: Schutte, Kurt
Udgivet: (1977)

Introduction to set theory
af: Hrbacek, karel
Udgivet: (1984)

Exercises in set theory
af: Sigler, L E
Udgivet: (1979)

Introduction to set theory
af: Hrbacek, karel
Udgivet: (1978)

Proceedings: The theory of maodels
af: Addison, J W
Udgivet: (1972)

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

Topics in mathematical system theory
af: Kalman, R.E
Udgivet: (1974)

Topics in mathematical system theory
af: Kalman, R.E
Udgivet: (1974)

Pattern analysis: Lectures in pattern theory
af: Grenander, Ulf
Udgivet: (1978)

<Encyclopaedia> of Mathematics and its applications
af: Gasper, George
Udgivet: (1990)

Finite mathematics and calculus with applications.
af: Stratopoulos, G M
Udgivet: (1976)

Encyclopaedia of Mathematics and its applications
af: Gasper, George
Udgivet: (1990)

Collected works:
af: Bruwer, L E J

Mehtods of finite mathematics
af: Brown, John W
Udgivet: (1989)

Studies in applied mathematics
af: Guillemin, Victor
Udgivet: (1983)

Mathematical systems: Finite and Infinite
af: Hackworth, Robert D
Udgivet: (1969)

Collected works
af: Brouwer, L E J

Collected works:
af: Bruwer, L E J

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

Sets and groups
af: Green, J A
Udgivet: (1965)

Souslin problem
af: Devlion, Keith J
Udgivet: (1974)

Ganannal
af: Ramakrsnan, A N

Ganannal
af: Ramakrsnan, A N
Udgivet: (1983)

Degrees of Unsolvability
af: Shoenfield, Joseph R
Udgivet: (1971)

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

Classification algorithms
af: James, Mike
Udgivet: (1985)

Recursiveness
af: Eilenberg, Samuel
Udgivet: (1970)

Architecute of systems problem solving
af: Klir, George J.
Udgivet: (1985)

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

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

Modal logic: the Lewis modal systems
af: Zeman, J. Jay
Udgivet: (1973)

Computer oriented <numerical methods>
af: Rajaraman, V.
Udgivet: (1984)