Azala

Combinatory logic/

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	CURRY, Haskell B.
Formatua:	Liburua
Hizkuntza:	ingelesa
Argitaratua:	Amsterdam: North-Holland; 1968.
Saila:	(Studies in logic and the foundations of mathematics)
Gaiak:	1. Logic, Symbolic and mathematical. a. Title.
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

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

New Methods in symbolic logic/
nork: STANDLEY, Gerald B.
Argitaratua: (1971)

Elements of mathematical logic/
nork: NOVIKOV, P.S
Argitaratua: (1964)

Elements of mathematical logic/
nork: LUKASIEWICZ, Jan
Argitaratua: (1963)

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

Threshold logic /
nork: LEWIS, P.M
Argitaratua: (1967)

Logic for mathematicians /
nork: Hamilton, Alan G., 1943-
Argitaratua: (2001)

Logic for mathematicians
nork: Hamilton, Alan G., 1943-
Argitaratua: (2001)

Computability and logic /
nork: Boolos, George S.
Argitaratua: (1989)

Fundamentals of symbolic logic/
nork: AMBROSE, Alice
Argitaratua: (1948)

First steps in model logic /
nork: Popkorn, Sally
Argitaratua: (1994)

First steps in model logic
nork: Popkorn, Sally
Argitaratua: (1994)

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

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

Language logic and mathematics/
nork: Kilmister, C.W
Argitaratua: (1967)

Constructive order types/
nork: CROSSLEY, John N.
Argitaratua: (1969)

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

Varieties of constructive mathematics /
nork: Bridges, Douglas

Leibnits and the seventeenth-century /
nork: Meyer, R.W
Argitaratua: (1952)

Varieties of constructive mathematics
nork: Bridges, Douglas
Argitaratua: (1987)

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

Introduction to Logic/
nork: Suppes, Patrick
Argitaratua: (1957)

Philosophy of logics/
nork: Haack, Susan
Argitaratua: (1978)

Set theory, Logic and their limitations / Moshe Machover.
nork: Machover ,Moshe
Argitaratua: (1996)

Symbolic logic/
nork: Copi, Irving M.
Argitaratua: (1979)

Logic /
nork: Salmon, Wesley C.
Argitaratua: (1973)

Traditional formal logic: a short account for students/
nork: Sinclair, William Angus
Argitaratua: (1954)

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

Nonmonotonic reasoning logical foundations of commonsense/
nork: Brewka, Gerhard
Argitaratua: (1991)

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

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

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

Theory and Problems of Set Theory and Related Topics
nork: Lipschutz, Seymour
Argitaratua: (1964)

Set Theory
nork: Chatterjee, P. N.
Argitaratua: (1993)

Set Theory
nork: Chatterjee, P. N.
Argitaratua: (1995)

Essential Computer Mathematics
nork: Lipschutz, Seymour
Argitaratua: (1982)

Logic: an introductory course/
nork: NEWTON-SMITH, W.H
Argitaratua: (1985)

The logic of essentialism: an interpretation of Aristotle's modal syllogistic/
nork: Thom, Paul
Argitaratua: (1996)

The Languages of Logic: an introduction to formal logic/
nork: Guttenplan, Samuel
Argitaratua: (1997)

Introduction to logic/
nork: COPI, Irving M.
Argitaratua: (1968)