Sets, logic, and axiomatic theories /

QR Code

Sets, logic, and axiomatic theories /

Saved in:

Bibliografiske detaljer
Hovedforfatter:	Stoll, Robert Roth
Format:	Bog
Sprog:	engelsk
Udgivet:	San Francisco : Freeman, 1961.
Serier:	Series of books in mathematics
Fag:	Set theory. Logic, Symbolic and mathematical.
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

Elements of mathematical logic and set theory /
af: Slupecki, J.
Udgivet: (1967)

Sets and logic 1 /
af: Bailey, C. A. R.
Udgivet: (1964)

The logical and set-theoretical foundations of mathematics /
af: Zulauf, Achim
Udgivet: (1969)

Elements of logic and foundations of mathematics in problems /
af: Wiktor, Marek
Udgivet: (1982)

Foundations of computing : system development with set theory and logic /
af: Scheurer, Thierry
Udgivet: (1994)

Axiomatic set theory /
af: Suppes, Patrick, 1922-
Udgivet: (1960)

An introduction to mathematical logic and type theory : to truth through proof /
af: Andrews, P. B. (Peter Bruce), 1937-
Udgivet: (1986)

Axiomatic analysis : an introduction to logic and the real number system /
af: Katz, Robert, 1922-
Udgivet: (1964)

Introduction to axiomatic set theory /
af: Lemmon, E. J.
Udgivet: (1968)

Logic of mathematics : a modern course of classical logic /
af: Adamowicz, Zofia
Udgivet: (1997)

Mathematical logic /
af: Kleene, Stephen Cole
Udgivet: (1967)

Logic and structure
af: Dalen, D. van (Dirk van), 1932-
Udgivet: (1980)

The language of logic /
af: Freudenthal, Hans, 1905-
Udgivet: (1966)

Logic and structure
af: Dalen, D. van (Dirk), 1932-
Udgivet: (1983)

An introduction to modern mathematics /
af: Monjallon, Albert
Udgivet: (1967)

Handbook of mathematical logic /
Udgivet: (1977)

Introduction to symbolic logic /
af: Smith, Karl J.
Udgivet: (1991)

Introduction to mathematical logic
af: Mendelson, Elliott
Udgivet: (1979)

The elements of mathematical logic /
af: Rosenbloom, Paul C.
Udgivet: (1950)

Logic for information technology /
af: Galton, Antony
Udgivet: (1990)

Principles of mathematical logic /
af: Hilbert, D.
Udgivet: (1990)

Logic and algorithms : with applications to the computer and information sciences /
af: Korfhage, Robert R.
Udgivet: (1966)

A course in mathematical logic
af: Bell, J. L. (John Lane)
Udgivet: (1977)

Dictionary of symbols of mathematical logic /
Udgivet: (1969)

Math and logic games
af: Agostini, Franco
Udgivet: (1983)

Logic and databases /
Udgivet: (1978)

Logic, algebra and databases
af: Gray, Peter M. D.
Udgivet: (1984)

Set theory and its logic /
af: Quine, Willard van Orman
Udgivet: (1969)

Logic for problem solving
af: Kowalski, Robert
Udgivet: (1979)

Equational logic as a programming language
af: O'Donnell, Michael J., 1952-
Udgivet: (1985)

Direct and converse theorems : the elements of symbolic logic /
af: Gradshtein, I. S.
Udgivet: (1963)

An introduction to the nature of proof /
af: Del Grande, J. J.
Udgivet: (1967)

Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
Udgivet: (1982)

Application of logical and mathematical methods for the analysis of environmental information
af: L. Sh. Akhmedova, et al.
Udgivet: (2022-12-01)

Logic : a foundation for computer science /
af: Sperschneider, V.
Udgivet: (1991)

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

Foundations of set theory /
af: Fraenkel, Abraham Adolf, 1891-1965
Udgivet: (1973)

Elements of the theory of computation
af: Lewis, Harry R.
Udgivet: (1981)

Logic, methodology, and philosophy of science, VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 /
Udgivet: (1986)

How to read and do proofs an introduction to mathematical thought process
af: Solow, Daniel
Udgivet: (1982)