Á lódáil...

QR Code

Computer science and multiple- valued logic theory and applications

Sonraí Bibleagrafaíochta
Príomhúdar:	Rine, David C (ed.by)
Formáid:	Printed Book
Teanga:	English
Foilsithe:	Amsterdam Elsevier Science 1984
Ábhair:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

Míreanna Comhchosúla

(A) course in mathematical logic
le: Yu.I.Manin
Foilsithe: (1977)

Popular lectures on mathemsatical logic
le: Wang, Hao
Foilsithe: (1981)

Dictionary of logical terms and symbols
le: Greenstein, Carol Horn
Foilsithe: (1978)

Theory of recursive functions and effective computability
le: Jr, Harley Rogers
Foilsithe: (1967)

Fuzzy sets and systems: theory and applications
le: Dubois, Didier
Foilsithe: (1980)

Computations in higher types
le: Moldestad, Johan
Foilsithe: (1976)

Language, logic and mathematics
le: Kilmister, C W
Foilsithe: (1967)

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

Proof theory
le: Schutte, Kurt
Foilsithe: (1977)

Introduction to set theory
le: Hrbacek, karel
Foilsithe: (1984)

Exercises in set theory
le: Sigler, L E
Foilsithe: (1979)

Introduction to set theory
le: Hrbacek, karel
Foilsithe: (1978)

Proceedings: The theory of maodels
le: Addison, J W
Foilsithe: (1972)

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

Topics in mathematical system theory
le: Kalman, R.E
Foilsithe: (1974)

Topics in mathematical system theory
le: Kalman, R.E
Foilsithe: (1974)

Pattern analysis: Lectures in pattern theory
le: Grenander, Ulf
Foilsithe: (1978)

<Encyclopaedia> of Mathematics and its applications
le: Gasper, George
Foilsithe: (1990)

Finite mathematics and calculus with applications.
le: Stratopoulos, G M
Foilsithe: (1976)

Encyclopaedia of Mathematics and its applications
le: Gasper, George
Foilsithe: (1990)

Collected works:
le: Bruwer, L E J

Mehtods of finite mathematics
le: Brown, John W
Foilsithe: (1989)

Studies in applied mathematics
le: Guillemin, Victor
Foilsithe: (1983)

Mathematical systems: Finite and Infinite
le: Hackworth, Robert D
Foilsithe: (1969)

Collected works
le: Brouwer, L E J

Collected works:
le: Bruwer, L E J

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

Sets and groups
le: Green, J A
Foilsithe: (1965)

Souslin problem
le: Devlion, Keith J
Foilsithe: (1974)

Ganannal
le: Ramakrsnan, A N

Ganannal
le: Ramakrsnan, A N
Foilsithe: (1983)

Degrees of Unsolvability
le: Shoenfield, Joseph R
Foilsithe: (1971)

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

Classification algorithms
le: James, Mike
Foilsithe: (1985)

Recursiveness
le: Eilenberg, Samuel
Foilsithe: (1970)

Architecute of systems problem solving
le: Klir, George J.
Foilsithe: (1985)

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

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

Modal logic: the Lewis modal systems
le: Zeman, J. Jay
Foilsithe: (1973)

Computer oriented <numerical methods>
le: Rajaraman, V.
Foilsithe: (1984)