Logic for mathematicians /
Bewaard in:
| Hoofdauteur: | Hamilton, Alan G., 1943- |
|---|---|
| Formaat: | Boek |
| Taal: | Engels |
| Gepubliceerd in: |
Cambridge
Cambridge Univ. Pr.
2001
|
| Onderwerpen: | |
| Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|
Gelijkaardige items
Logic for mathematicians
door: Hamilton, Alan G., 1943-
Gepubliceerd in: (2001)
door: Hamilton, Alan G., 1943-
Gepubliceerd in: (2001)
Varieties of constructive mathematics /
door: Bridges, Douglas
door: Bridges, Douglas
First steps in model logic /
door: Popkorn, Sally
Gepubliceerd in: (1994)
door: Popkorn, Sally
Gepubliceerd in: (1994)
First steps in model logic
door: Popkorn, Sally
Gepubliceerd in: (1994)
door: Popkorn, Sally
Gepubliceerd in: (1994)
Threshold logic /
door: LEWIS, P.M
Gepubliceerd in: (1967)
door: LEWIS, P.M
Gepubliceerd in: (1967)
Computability and logic /
door: Boolos, George S.
Gepubliceerd in: (1989)
door: Boolos, George S.
Gepubliceerd in: (1989)
Fundamentals of symbolic logic/
door: AMBROSE, Alice
Gepubliceerd in: (1948)
door: AMBROSE, Alice
Gepubliceerd in: (1948)
Introduction to mathematical logic; set theory / computable functions, model theory.
door: MALITZ, Jerome
Gepubliceerd in: (1979)
door: MALITZ, Jerome
Gepubliceerd in: (1979)
Language logic and mathematics/
door: Kilmister, C.W
Gepubliceerd in: (1967)
door: Kilmister, C.W
Gepubliceerd in: (1967)
Logic With Trees: an introduction to symbolic logic/
door: Howson, Colin
Gepubliceerd in: (1997)
door: Howson, Colin
Gepubliceerd in: (1997)
Combinatory logic/
door: CURRY, Haskell B.
Gepubliceerd in: (1968)
door: CURRY, Haskell B.
Gepubliceerd in: (1968)
Mathematical logic and formal systemss: a collection of papers in honor of professor newton C. A. da costa
Gepubliceerd in: (1985)
Gepubliceerd in: (1985)
Elements of mathematical logic/
door: NOVIKOV, P.S
Gepubliceerd in: (1964)
door: NOVIKOV, P.S
Gepubliceerd in: (1964)
Elements of mathematical logic/
door: LUKASIEWICZ, Jan
Gepubliceerd in: (1963)
door: LUKASIEWICZ, Jan
Gepubliceerd in: (1963)
Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/
door: SCHMIDT, H. Arnold ed
Gepubliceerd in: (1968)
door: SCHMIDT, H. Arnold ed
Gepubliceerd in: (1968)
Leibnits and the seventeenth-century /
door: Meyer, R.W
Gepubliceerd in: (1952)
door: Meyer, R.W
Gepubliceerd in: (1952)
Varieties of constructive mathematics
door: Bridges, Douglas
Gepubliceerd in: (1987)
door: Bridges, Douglas
Gepubliceerd in: (1987)
New Methods in symbolic logic/
door: STANDLEY, Gerald B.
Gepubliceerd in: (1971)
door: STANDLEY, Gerald B.
Gepubliceerd in: (1971)
Notes on logic and set theory /
door: Johnstone, P.T
Gepubliceerd in: (1987)
door: Johnstone, P.T
Gepubliceerd in: (1987)
Set theory, Logic and their limitations / Moshe Machover.
door: Machover ,Moshe
Gepubliceerd in: (1996)
door: Machover ,Moshe
Gepubliceerd in: (1996)
Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
door: Rodríguez-Consuegra, Francisco
Gepubliceerd in: (2025)
door: Rodríguez-Consuegra, Francisco
Gepubliceerd in: (2025)
Schaum's outline of set theory and related topics /
door: Lipschutz, Seymour
Gepubliceerd in: (1981)
door: Lipschutz, Seymour
Gepubliceerd in: (1981)
Schaum's outline of set theory and related topics
door: Lipschutz, Seymour
Gepubliceerd in: (1981)
door: Lipschutz, Seymour
Gepubliceerd in: (1981)
Theory and Problems of Set Theory and Related Topics
door: Lipschutz, Seymour
Gepubliceerd in: (1964)
door: Lipschutz, Seymour
Gepubliceerd in: (1964)
Set Theory
door: Chatterjee, P. N.
Gepubliceerd in: (1993)
door: Chatterjee, P. N.
Gepubliceerd in: (1993)
Set Theory
door: Chatterjee, P. N.
Gepubliceerd in: (1995)
door: Chatterjee, P. N.
Gepubliceerd in: (1995)
Essential Computer Mathematics
door: Lipschutz, Seymour
Gepubliceerd in: (1982)
door: Lipschutz, Seymour
Gepubliceerd in: (1982)
Proofs and refutations/ the logic of mathemati-
door: LAKATOS, Inre
Gepubliceerd in: (1976)
door: LAKATOS, Inre
Gepubliceerd in: (1976)
The Axiomatic method: an introduction to mathematical logic/
door: LIGHTSTONE, A.H
Gepubliceerd in: (1964)
door: LIGHTSTONE, A.H
Gepubliceerd in: (1964)
Set Theory: and Related Topics
door: Spiegel, Murray R.
Gepubliceerd in: (1965)
door: Spiegel, Murray R.
Gepubliceerd in: (1965)
New Directions in Relevant Logic
Gepubliceerd in: (2025)
Gepubliceerd in: (2025)
An Invitation to Mathematical Logic
door: Marker, David
Gepubliceerd in: (2024)
door: Marker, David
Gepubliceerd in: (2024)
Schaum's Outline of Discrete Mathematics
door: Lipschutz, S.
Gepubliceerd in: (1997)
door: Lipschutz, S.
Gepubliceerd in: (1997)
Discrete Mathematics
door: Vatsa, B. S.
door: Vatsa, B. S.
2000 Solved Problems in Discrete Mathematics
door: Lipschutz, S.
Gepubliceerd in: (1992)
door: Lipschutz, S.
Gepubliceerd in: (1992)
Discrete Mathematics and Its Applications
door: Rosen, K. H.
Gepubliceerd in: (1999)
door: Rosen, K. H.
Gepubliceerd in: (1999)
Logic, methodology and philosophy of science; proceedings of the 1964 international
Gepubliceerd in: (1965)
Gepubliceerd in: (1965)
Constructive order types/
door: CROSSLEY, John N.
Gepubliceerd in: (1969)
door: CROSSLEY, John N.
Gepubliceerd in: (1969)
Logical papers: a selection
door: Leibniz, Gottfried Wilhelm, Freiherr Von, 1646-1716
Gepubliceerd in: (1966)
door: Leibniz, Gottfried Wilhelm, Freiherr Von, 1646-1716
Gepubliceerd in: (1966)
Universal Logic, Ethics, and Truth Essays in Honor of John Corcoran (1937-2021) /
Gepubliceerd in: (2024)
Gepubliceerd in: (2024)
Gelijkaardige items
-
Logic for mathematicians
door: Hamilton, Alan G., 1943-
Gepubliceerd in: (2001) -
Varieties of constructive mathematics /
door: Bridges, Douglas -
First steps in model logic /
door: Popkorn, Sally
Gepubliceerd in: (1994) -
First steps in model logic
door: Popkorn, Sally
Gepubliceerd in: (1994) -
Threshold logic /
door: LEWIS, P.M
Gepubliceerd in: (1967)