Imatge de la portada

Leibnits and the seventeenth-century /

Guardat en:

Dades bibliogràfiques
Autor principal:	Meyer, R.W
Format:	Llibre
Idioma:	anglès
Publicat:	England: Bowes and Bowes, 1952.
Matèries:	Logic symbolic an Mathematical.
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Varieties of constructive mathematics /
per: Bridges, Douglas

Logic for mathematicians /
per: Hamilton, Alan G., 1943-
Publicat: (2001)

First steps in model logic /
per: Popkorn, Sally
Publicat: (1994)

Logic for mathematicians
per: Hamilton, Alan G., 1943-
Publicat: (2001)

First steps in model logic
per: Popkorn, Sally
Publicat: (1994)

Varieties of constructive mathematics
per: Bridges, Douglas
Publicat: (1987)

Fundamentals of symbolic logic/
per: AMBROSE, Alice
Publicat: (1948)

Introduction to mathematical logic; set theory / computable functions, model theory.
per: MALITZ, Jerome
Publicat: (1979)

Threshold logic /
per: LEWIS, P.M
Publicat: (1967)

Computability and logic /
per: Boolos, George S.
Publicat: (1989)

Schaum's outline of set theory and related topics /
per: Lipschutz, Seymour
Publicat: (1981)

Schaum's outline of set theory and related topics
per: Lipschutz, Seymour
Publicat: (1981)

Theory and Problems of Set Theory and Related Topics
per: Lipschutz, Seymour
Publicat: (1964)

Set Theory
per: Chatterjee, P. N.
Publicat: (1993)

Set Theory
per: Chatterjee, P. N.
Publicat: (1995)

Essential Computer Mathematics
per: Lipschutz, Seymour
Publicat: (1982)

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

Set Theory: and Related Topics
per: Spiegel, Murray R.
Publicat: (1965)

Language logic and mathematics/
per: Kilmister, C.W
Publicat: (1967)

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

Schaum's Outline of Discrete Mathematics
per: Lipschutz, S.
Publicat: (1997)

Discrete Mathematics
per: Vatsa, B. S.

2000 Solved Problems in Discrete Mathematics
per: Lipschutz, S.
Publicat: (1992)

Discrete Mathematics and Its Applications
per: Rosen, K. H.
Publicat: (1999)

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

The Axiomatic method: an introduction to mathematical logic/
per: LIGHTSTONE, A.H
Publicat: (1964)

Elements of mathematical logic/
per: NOVIKOV, P.S
Publicat: (1964)

Constructive order types/
per: CROSSLEY, John N.
Publicat: (1969)

Combinatory logic/
per: CURRY, Haskell B.
Publicat: (1968)

New Methods in symbolic logic/
per: STANDLEY, Gerald B.
Publicat: (1971)

Elements of mathematical logic/
per: LUKASIEWICZ, Jan
Publicat: (1963)

Logic With Trees: an introduction to symbolic logic/
per: Howson, Colin
Publicat: (1997)

Proofs and refutations/ the logic of mathemati-
per: LAKATOS, Inre
Publicat: (1976)

Elements of the theory of computation /
per: Lewis, Harry R
Publicat: (1981)

Elements of the theory of computation /
per: Lewis, Harry R.
Publicat: (1989)

Elements of the theory of computation /
per: Lewis, Harry R.
Publicat: (1989)

Elements of the theory of computation /
per: Lewis, Harry R
Publicat: (1981)

Elements of the theory of computation /
per: Lewis, Harry R
Publicat: (1981)

Elements of the theory of computation /
per: Lewis, Harry R.
Publicat: (1989)

Notes on logic and set theory /
per: Johnstone, P.T
Publicat: (1987)