Llwytho...

Côd QR

Computer science and multiple- valued logic theory and applications

Manylion Llyfryddiaeth
Prif Awdur:	Rine, David C (ed.by)
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	Amsterdam Elsevier Science 1984
Pynciau:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

Eitemau Tebyg

(A) course in mathematical logic
gan: Yu.I.Manin
Cyhoeddwyd: (1977)

Popular lectures on mathemsatical logic
gan: Wang, Hao
Cyhoeddwyd: (1981)

Dictionary of logical terms and symbols
gan: Greenstein, Carol Horn
Cyhoeddwyd: (1978)

Theory of recursive functions and effective computability
gan: Jr, Harley Rogers
Cyhoeddwyd: (1967)

Fuzzy sets and systems: theory and applications
gan: Dubois, Didier
Cyhoeddwyd: (1980)

Computations in higher types
gan: Moldestad, Johan
Cyhoeddwyd: (1976)

Language, logic and mathematics
gan: Kilmister, C W
Cyhoeddwyd: (1967)

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

Proof theory
gan: Schutte, Kurt
Cyhoeddwyd: (1977)

Introduction to set theory
gan: Hrbacek, karel
Cyhoeddwyd: (1984)

Exercises in set theory
gan: Sigler, L E
Cyhoeddwyd: (1979)

Introduction to set theory
gan: Hrbacek, karel
Cyhoeddwyd: (1978)

Proceedings: The theory of maodels
gan: Addison, J W
Cyhoeddwyd: (1972)

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

Topics in mathematical system theory
gan: Kalman, R.E
Cyhoeddwyd: (1974)

Topics in mathematical system theory
gan: Kalman, R.E
Cyhoeddwyd: (1974)

Pattern analysis: Lectures in pattern theory
gan: Grenander, Ulf
Cyhoeddwyd: (1978)

<Encyclopaedia> of Mathematics and its applications
gan: Gasper, George
Cyhoeddwyd: (1990)

Finite mathematics and calculus with applications.
gan: Stratopoulos, G M
Cyhoeddwyd: (1976)

Encyclopaedia of Mathematics and its applications
gan: Gasper, George
Cyhoeddwyd: (1990)

Collected works:
gan: Bruwer, L E J

Mehtods of finite mathematics
gan: Brown, John W
Cyhoeddwyd: (1989)

Studies in applied mathematics
gan: Guillemin, Victor
Cyhoeddwyd: (1983)

Mathematical systems: Finite and Infinite
gan: Hackworth, Robert D
Cyhoeddwyd: (1969)

Collected works
gan: Brouwer, L E J

Collected works:
gan: Bruwer, L E J

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

Sets and groups
gan: Green, J A
Cyhoeddwyd: (1965)

Souslin problem
gan: Devlion, Keith J
Cyhoeddwyd: (1974)

Ganannal
gan: Ramakrsnan, A N

Ganannal
gan: Ramakrsnan, A N
Cyhoeddwyd: (1983)

Degrees of Unsolvability
gan: Shoenfield, Joseph R
Cyhoeddwyd: (1971)

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

Classification algorithms
gan: James, Mike
Cyhoeddwyd: (1985)

Recursiveness
gan: Eilenberg, Samuel
Cyhoeddwyd: (1970)

Architecute of systems problem solving
gan: Klir, George J.
Cyhoeddwyd: (1985)

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

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

Modal logic: the Lewis modal systems
gan: Zeman, J. Jay
Cyhoeddwyd: (1973)

Computer oriented <numerical methods>
gan: Rajaraman, V.
Cyhoeddwyd: (1984)