Logical papers: a selection
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | anglès |
| Publicat: |
Oxford :
Clarendon Pr,
1966
|
| Matèries: | |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars
Leibniz and the monadology/
per: Savile, Anthony
Publicat: (2000)
per: Savile, Anthony
Publicat: (2000)
Leibniz : selections /
Publicat: (1951)
Publicat: (1951)
Logic for mathematicians
per: Hamilton, Alan G., 1943-
Publicat: (2001)
per: Hamilton, Alan G., 1943-
Publicat: (2001)
Logic for mathematicians /
per: Hamilton, Alan G., 1943-
Publicat: (2001)
per: Hamilton, Alan G., 1943-
Publicat: (2001)
First steps in model logic /
per: Popkorn, Sally
Publicat: (1994)
per: Popkorn, Sally
Publicat: (1994)
First steps in model logic
per: Popkorn, Sally
Publicat: (1994)
per: Popkorn, Sally
Publicat: (1994)
Threshold logic /
per: LEWIS, P.M
Publicat: (1967)
per: LEWIS, P.M
Publicat: (1967)
Computability and logic /
per: Boolos, George S.
Publicat: (1989)
per: Boolos, George S.
Publicat: (1989)
Fundamentals of symbolic logic/
per: AMBROSE, Alice
Publicat: (1948)
per: AMBROSE, Alice
Publicat: (1948)
Introduction to mathematical logic; set theory / computable functions, model theory.
per: MALITZ, Jerome
Publicat: (1979)
per: MALITZ, Jerome
Publicat: (1979)
Language logic and mathematics/
per: Kilmister, C.W
Publicat: (1967)
per: Kilmister, C.W
Publicat: (1967)
Mathematical logic and formal systemss: a collection of papers in honor of professor newton C. A. da costa
Publicat: (1985)
Publicat: (1985)
Logic With Trees: an introduction to symbolic logic/
per: Howson, Colin
Publicat: (1997)
per: Howson, Colin
Publicat: (1997)
Combinatory logic/
per: CURRY, Haskell B.
Publicat: (1968)
per: CURRY, Haskell B.
Publicat: (1968)
Varieties of constructive mathematics /
per: Bridges, Douglas
per: Bridges, Douglas
Leibnits and the seventeenth-century /
per: Meyer, R.W
Publicat: (1952)
per: Meyer, R.W
Publicat: (1952)
Varieties of constructive mathematics
per: Bridges, Douglas
Publicat: (1987)
per: Bridges, Douglas
Publicat: (1987)
Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
per: Rodríguez-Consuegra, Francisco
Publicat: (2025)
per: Rodríguez-Consuegra, Francisco
Publicat: (2025)
Elements of mathematical logic/
per: NOVIKOV, P.S
Publicat: (1964)
per: NOVIKOV, P.S
Publicat: (1964)
Elements of mathematical logic/
per: LUKASIEWICZ, Jan
Publicat: (1963)
per: LUKASIEWICZ, Jan
Publicat: (1963)
Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/
per: SCHMIDT, H. Arnold ed
Publicat: (1968)
per: SCHMIDT, H. Arnold ed
Publicat: (1968)
New Methods in symbolic logic/
per: STANDLEY, Gerald B.
Publicat: (1971)
per: STANDLEY, Gerald B.
Publicat: (1971)
Logic, methodology and philosophy of science; proceedings of the 1964 international
Publicat: (1965)
Publicat: (1965)
Schaum's outline of set theory and related topics /
per: Lipschutz, Seymour
Publicat: (1981)
per: Lipschutz, Seymour
Publicat: (1981)
Theory and Problems of Set Theory and Related Topics
per: Lipschutz, Seymour
Publicat: (1964)
per: Lipschutz, Seymour
Publicat: (1964)
Schaum's outline of set theory and related topics
per: Lipschutz, Seymour
Publicat: (1981)
per: Lipschutz, Seymour
Publicat: (1981)
Set Theory
per: Chatterjee, P. N.
Publicat: (1993)
per: Chatterjee, P. N.
Publicat: (1993)
Set Theory
per: Chatterjee, P. N.
Publicat: (1995)
per: Chatterjee, P. N.
Publicat: (1995)
Essential Computer Mathematics
per: Lipschutz, Seymour
Publicat: (1982)
per: Lipschutz, Seymour
Publicat: (1982)
Notes on logic and set theory /
per: Johnstone, P.T
Publicat: (1987)
per: Johnstone, P.T
Publicat: (1987)
Set theory, Logic and their limitations / Moshe Machover.
per: Machover ,Moshe
Publicat: (1996)
per: Machover ,Moshe
Publicat: (1996)
Proofs and refutations/ the logic of mathemati-
per: LAKATOS, Inre
Publicat: (1976)
per: LAKATOS, Inre
Publicat: (1976)