Imagem da capa

Logic for mathematicians

Show other versions (1)

Na minha lista:

Detalhes bibliográficos
Autor principal:	Hamilton, Alan G., 1943-
Formato:	Livro
Publicado em:	Cambridge Cambridge Univ. Pr. 2001
Assuntos:	Logic, symbolic and mathematical
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados

Logic for mathematicians /
Por: Hamilton, Alan G., 1943-
Publicado em: (2001)

Varieties of constructive mathematics
Por: Bridges, Douglas
Publicado em: (1987)

First steps in model logic /
Por: Popkorn, Sally
Publicado em: (1994)

First steps in model logic
Por: Popkorn, Sally
Publicado em: (1994)

Threshold logic /
Por: LEWIS, P.M
Publicado em: (1967)

Computability and logic /
Por: Boolos, George S.
Publicado em: (1989)

Fundamentals of symbolic logic/
Por: AMBROSE, Alice
Publicado em: (1948)

Tractatus logico-philosophicus/
Por: Wittgenstein, Ludwig, 1889-1951
Publicado em: (1974)

Introduction to mathematical logic; set theory / computable functions, model theory.
Por: MALITZ, Jerome
Publicado em: (1979)

Language logic and mathematics/
Por: Kilmister, C.W
Publicado em: (1967)

Logic With Trees: an introduction to symbolic logic/
Por: Howson, Colin
Publicado em: (1997)

Combinatory logic/
Por: CURRY, Haskell B.
Publicado em: (1968)

Mathematical logic and formal systemss: a collection of papers in honor of professor newton C. A. da costa
Publicado em: (1985)

Elements of mathematical logic/
Por: NOVIKOV, P.S
Publicado em: (1964)

Elements of mathematical logic/
Por: LUKASIEWICZ, Jan
Publicado em: (1963)

Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/
Por: SCHMIDT, H. Arnold ed
Publicado em: (1968)

Varieties of constructive mathematics /
Por: Bridges, Douglas

Leibnits and the seventeenth-century /
Por: Meyer, R.W
Publicado em: (1952)

New Methods in symbolic logic/
Por: STANDLEY, Gerald B.
Publicado em: (1971)

Notes on logic and set theory /
Por: Johnstone, P.T
Publicado em: (1987)

Set theory, Logic and their limitations / Moshe Machover.
Por: Machover ,Moshe
Publicado em: (1996)

Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
Por: Rodríguez-Consuegra, Francisco
Publicado em: (2025)

Schaum's outline of set theory and related topics /
Por: Lipschutz, Seymour
Publicado em: (1981)

Theory and Problems of Set Theory and Related Topics
Por: Lipschutz, Seymour
Publicado em: (1964)

Schaum's outline of set theory and related topics
Por: Lipschutz, Seymour
Publicado em: (1981)

Set Theory
Por: Chatterjee, P. N.
Publicado em: (1993)

Set Theory
Por: Chatterjee, P. N.
Publicado em: (1995)

Essential Computer Mathematics
Por: Lipschutz, Seymour
Publicado em: (1982)

Proofs and refutations/ the logic of mathemati-
Por: LAKATOS, Inre
Publicado em: (1976)

The Axiomatic method: an introduction to mathematical logic/
Por: LIGHTSTONE, A.H
Publicado em: (1964)

Set Theory: and Related Topics
Por: Spiegel, Murray R.
Publicado em: (1965)

New Directions in Relevant Logic
Publicado em: (2025)

An Invitation to Mathematical Logic
Por: Marker, David
Publicado em: (2024)

Schaum's Outline of Discrete Mathematics
Por: Lipschutz, S.
Publicado em: (1997)

Discrete Mathematics
Por: Vatsa, B. S.

2000 Solved Problems in Discrete Mathematics
Por: Lipschutz, S.
Publicado em: (1992)

Discrete Mathematics and Its Applications
Por: Rosen, K. H.
Publicado em: (1999)

Logic, methodology and philosophy of science; proceedings of the 1964 international
Publicado em: (1965)

Constructive order types/
Por: CROSSLEY, John N.
Publicado em: (1969)

Logical papers: a selection
Por: Leibniz, Gottfried Wilhelm, Freiherr Von, 1646-1716
Publicado em: (1966)