Laddar…

QR-kod

An introduction to mathematical logic and type theory : to truth through proof /

Sparad:

Bibliografiska uppgifter
Huvudupphovsman:	Andrews, P. B. (Peter Bruce), 1937-
Materialtyp:	Bok
Språk:	engelska
Publicerad:	Orlando : Academic Press, 1986.
Serie:	Computer science and applied mathematics
Ämnen:	Logic, Symbolic and mathematical. Type theory.
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Liknande verk

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

Introduction to mathematical logic
av: Mendelson, Elliott
Publicerad: (1979)

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

Sets, logic, and axiomatic theories /
av: Stoll, Robert Roth
Publicerad: (1961)

Principles of mathematical logic /
av: Hilbert, D.
Publicerad: (1990)

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

Introduction to symbolic logic /
av: Smith, Karl J.
Publicerad: (1991)

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

Logic and structure
av: Dalen, D. van (Dirk van), 1932-
Publicerad: (1980)

Logic and structure
av: Dalen, D. van (Dirk), 1932-
Publicerad: (1983)

The language of logic /
av: Freudenthal, Hans, 1905-
Publicerad: (1966)

Intensional mathematics /
Publicerad: (1985)

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

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

Math and logic games
av: Agostini, Franco
Publicerad: (1983)

Logic, algebra and databases
av: Gray, Peter M. D.
Publicerad: (1984)

Logic and databases /
Publicerad: (1978)

An introduction to modern mathematics /
av: Monjallon, Albert
Publicerad: (1967)

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

Mathematical thinking /
av: Godwin, D. C.
Publicerad: (1971)

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

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

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

Logic : a foundation for computer science /
av: Sperschneider, V.
Publicerad: (1991)

Mathematics and plausible reasoning
av: Polya, George, 1887-1985
Publicerad: (1968)

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

Logic for problem solving
av: Kowalski, Robert
Publicerad: (1979)

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

How to recognize type faces /
av: Karch, R. Randolph (Robert Randolph), 1902-
Publicerad: (1959)

The encyclopaedia of type faces /
av: Jaspert, W. Pincus
Publicerad: (1990)

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

Elements of the theory of computation
av: Lewis, Harry R.
Publicerad: (1981)

Stop stealing sheep & find out how type works /
av: Spiekermann, Erik
Publicerad: (1993)

Thinking recursively /
av: Roberts, Eric
Publicerad: (1986)

Fundamentals of logic design and switching theory /
av: Friedman, Arthur D.
Publicerad: (1986)

Rookledge's international type-finder : the essential handbook of typeface recognition and selection /
av: Perfect, Christopher
Publicerad: (1983)

Logic and information /
av: Devlin, Keith J.
Publicerad: (1991)

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

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

Logic argument, refutation, and proof
av: Purtill, Richard L., 1931-
Publicerad: (1979)