Caricamento...

Codice QR

Logic and structure

Mostra altre versioni (1)

Salvato in:

Dettagli Bibliografici
Autore principale:	Dalen, D. van (Dirk), 1932-
Natura:	Libro
Lingua:	inglese
Pubblicazione:	Berlin New York Springer-Verlag 1983
Edizione:	2nd ed.
Serie:	Universitext
Soggetti:	Logic, Symbolic and mathematical
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Logic and structure
di: Dalen, D. van (Dirk van), 1932-
Pubblicazione: (1980)

Principles of mathematical logic /
di: Hilbert, D.
Pubblicazione: (1990)

The language of logic /
di: Freudenthal, Hans, 1905-
Pubblicazione: (1966)

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

Introduction to mathematical logic
di: Mendelson, Elliott
Pubblicazione: (1979)

Introduction to symbolic logic /
di: Smith, Karl J.
Pubblicazione: (1991)

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

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

Math and logic games
di: Agostini, Franco
Pubblicazione: (1983)

Logic and databases /
Pubblicazione: (1978)

Logic, algebra and databases
di: Gray, Peter M. D.
Pubblicazione: (1984)

Sets, logic, and axiomatic theories /
di: Stoll, Robert Roth
Pubblicazione: (1961)

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

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

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

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

Logic : a foundation for computer science /
di: Sperschneider, V.
Pubblicazione: (1991)

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

Mathematical thinking /
di: Godwin, D. C.
Pubblicazione: (1971)

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

Logic for problem solving
di: Kowalski, Robert
Pubblicazione: (1979)

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

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

Mathematics and plausible reasoning
di: Polya, George, 1887-1985
Pubblicazione: (1968)

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

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

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

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

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

Tractus logico-philosophicus /
di: Wittgenstein, Ludwig, 1889-1951
Pubblicazione: (1961)

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

An introduction to modern mathematics /
di: Monjallon, Albert
Pubblicazione: (1967)

Formal methods in artificial intelligence /
di: Ramsay, Allan, 1953-
Pubblicazione: (1988)

The elements of logic /
di: Barker, Stephen Francis
Pubblicazione: (1974)

Fundamentals of logic /
di: Carney, James Donald
Pubblicazione: (1974)

Electronic logic systems /
di: Almaini, A. E. A., 1945-
Pubblicazione: (1986)

The range of epistemic logic
di: Schlesinger, George N.
Pubblicazione: (1985)

The computer modelling of mathematical reasoning
di: Bundy, Alan
Pubblicazione: (1983)

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

Logic programming /
Pubblicazione: (1982)