Loading...

QR Code

Logic and structure

Show other versions (1)

Saved in:

Bibliografiske detaljer
Hovedforfatter:	Dalen, D. van (Dirk), 1932-
Format:	Bog
Sprog:	engelsk
Udgivet:	Berlin New York Springer-Verlag 1983
Udgivelse:	2nd ed.
Serier:	Universitext
Fag:	Logic, Symbolic and mathematical
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

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

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

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

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

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

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

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

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

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)

Sets, logic, and axiomatic theories /
af: Stoll, Robert Roth
Udgivet: (1961)

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

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

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

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

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

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

Mathematical thinking /
af: Godwin, D. C.
Udgivet: (1971)

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

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

Computability : computable functions, logic, and the foundations of mathematics /
af: Epstein, Richard L.
Udgivet: (1989)

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

Mathematics and plausible reasoning
af: Polya, George, 1887-1985
Udgivet: (1968)

Introduction to the foundations of mathematics /
af: Wilder, Raymond Louis, 1896-
Udgivet: (1965)

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

Fuzzy logic technology and applications I /
Udgivet: (1994)

A first course in formal logic and its applications in computer science /
af: Dowsing, Roy
Udgivet: (1986)

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

Tractus logico-philosophicus /
af: Wittgenstein, Ludwig, 1889-1951
Udgivet: (1961)

Advanced work in English /
af: Parker,C. R. E. (Colin Rodwell Eric)
Udgivet: (1967)

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

Formal methods in artificial intelligence /
af: Ramsay, Allan, 1953-
Udgivet: (1988)

The elements of logic /
af: Barker, Stephen Francis
Udgivet: (1974)

Fundamentals of logic /
af: Carney, James Donald
Udgivet: (1974)

Electronic logic systems /
af: Almaini, A. E. A., 1945-
Udgivet: (1986)

The range of epistemic logic
af: Schlesinger, George N.
Udgivet: (1985)

The computer modelling of mathematical reasoning
af: Bundy, Alan
Udgivet: (1983)

Foundations--logic, language, and mathematics
Udgivet: (1984)

Logic programming /
Udgivet: (1982)