Lanean...

QR Kodea

Computer science and multiple- valued logic theory and applications

Xehetasun bibliografikoak
Egile nagusia:	Rine, David C (ed.by)
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	Amsterdam Elsevier Science 1984
Gaiak:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

Antzeko izenburuak

(A) course in mathematical logic
nork: Yu.I.Manin
Argitaratua: (1977)

Popular lectures on mathemsatical logic
nork: Wang, Hao
Argitaratua: (1981)

Dictionary of logical terms and symbols
nork: Greenstein, Carol Horn
Argitaratua: (1978)

Theory of recursive functions and effective computability
nork: Jr, Harley Rogers
Argitaratua: (1967)

Fuzzy sets and systems: theory and applications
nork: Dubois, Didier
Argitaratua: (1980)

Computations in higher types
nork: Moldestad, Johan
Argitaratua: (1976)

Language, logic and mathematics
nork: Kilmister, C W
Argitaratua: (1967)

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

Proof theory
nork: Schutte, Kurt
Argitaratua: (1977)

Introduction to set theory
nork: Hrbacek, karel
Argitaratua: (1984)

Exercises in set theory
nork: Sigler, L E
Argitaratua: (1979)

Introduction to set theory
nork: Hrbacek, karel
Argitaratua: (1978)

Proceedings: The theory of maodels
nork: Addison, J W
Argitaratua: (1972)

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

Topics in mathematical system theory
nork: Kalman, R.E
Argitaratua: (1974)

Topics in mathematical system theory
nork: Kalman, R.E
Argitaratua: (1974)

Pattern analysis: Lectures in pattern theory
nork: Grenander, Ulf
Argitaratua: (1978)

<Encyclopaedia> of Mathematics and its applications
nork: Gasper, George
Argitaratua: (1990)

Finite mathematics and calculus with applications.
nork: Stratopoulos, G M
Argitaratua: (1976)

Encyclopaedia of Mathematics and its applications
nork: Gasper, George
Argitaratua: (1990)

Collected works:
nork: Bruwer, L E J

Mehtods of finite mathematics
nork: Brown, John W
Argitaratua: (1989)

Studies in applied mathematics
nork: Guillemin, Victor
Argitaratua: (1983)

Mathematical systems: Finite and Infinite
nork: Hackworth, Robert D
Argitaratua: (1969)

Collected works
nork: Brouwer, L E J

Collected works:
nork: Bruwer, L E J

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

Sets and groups
nork: Green, J A
Argitaratua: (1965)

Souslin problem
nork: Devlion, Keith J
Argitaratua: (1974)

Ganannal
nork: Ramakrsnan, A N

Ganannal
nork: Ramakrsnan, A N
Argitaratua: (1983)

Degrees of Unsolvability
nork: Shoenfield, Joseph R
Argitaratua: (1971)

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

Classification algorithms
nork: James, Mike
Argitaratua: (1985)

Recursiveness
nork: Eilenberg, Samuel
Argitaratua: (1970)

Architecute of systems problem solving
nork: Klir, George J.
Argitaratua: (1985)

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

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

Modal logic: the Lewis modal systems
nork: Zeman, J. Jay
Argitaratua: (1973)

Computer oriented <numerical methods>
nork: Rajaraman, V.
Argitaratua: (1984)