תמונות העטיפה

The Axiomatic method: an introduction to mathematical logic/

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	LIGHTSTONE, A.H
פורמט:	ספר
שפה:	אנגלית
יצא לאור:	Englewood Cliffs, N.J.: Prentice-Hall; 1964.
נושאים:	1. Logic, Symbolic and Mathematical. a. Title.
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

פריטים דומים

New Methods in symbolic logic/
מאת: STANDLEY, Gerald B.
יצא לאור: (1971)

Axiomatic set theory, with a historical introductio/
מאת: BERNAYS, Paul
יצא לאור: (1968)

Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/
מאת: SCHMIDT, H. Arnold ed
יצא לאור: (1968)

Elements of mathematical logic/
מאת: NOVIKOV, P.S
יצא לאור: (1964)

Elements of mathematical logic/
מאת: LUKASIEWICZ, Jan
יצא לאור: (1963)

Logic With Trees: an introduction to symbolic logic/
מאת: Howson, Colin
יצא לאור: (1997)

Combinatory logic/
מאת: CURRY, Haskell B.
יצא לאור: (1968)

Introduction to mathematical logic; set theory / computable functions, model theory.
מאת: MALITZ, Jerome
יצא לאור: (1979)

Threshold logic /
מאת: LEWIS, P.M
יצא לאור: (1967)

Logic for mathematicians /
מאת: Hamilton, Alan G., 1943-
יצא לאור: (2001)

Logic for mathematicians
מאת: Hamilton, Alan G., 1943-
יצא לאור: (2001)

Computability and logic /
מאת: Boolos, George S.
יצא לאור: (1989)

Fundamentals of symbolic logic/
מאת: AMBROSE, Alice
יצא לאור: (1948)

First steps in model logic /
מאת: Popkorn, Sally
יצא לאור: (1994)

First steps in model logic
מאת: Popkorn, Sally
יצא לאור: (1994)

Varieties of constructive mathematics /
מאת: Bridges, Douglas

Varieties of constructive mathematics
מאת: Bridges, Douglas
יצא לאור: (1987)

Constructive order types/
מאת: CROSSLEY, John N.
יצא לאור: (1969)

Language logic and mathematics/
מאת: Kilmister, C.W
יצא לאור: (1967)

Leibnits and the seventeenth-century /
מאת: Meyer, R.W
יצא לאור: (1952)

Essential Computer Mathematics
מאת: Lipschutz, Seymour
יצא לאור: (1982)

Mathematical logic and formal systemss: a collection of papers in honor of professor newton C. A. da costa
יצא לאור: (1985)

Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
מאת: Rodríguez-Consuegra, Francisco
יצא לאור: (2025)

Proofs and refutations/ the logic of mathemati-
מאת: LAKATOS, Inre
יצא לאור: (1976)

Theory and Problems of Set Theory and Related Topics
מאת: Lipschutz, Seymour
יצא לאור: (1964)

Schaum's outline of set theory and related topics /
מאת: Lipschutz, Seymour
יצא לאור: (1981)

Schaum's outline of set theory and related topics
מאת: Lipschutz, Seymour
יצא לאור: (1981)

Set Theory
מאת: Chatterjee, P. N.
יצא לאור: (1993)

Set Theory
מאת: Chatterjee, P. N.
יצא לאור: (1995)

Discrete Mathematics and Its Applications
מאת: Rosen, K. H.
יצא לאור: (1999)

Notes on logic and set theory /
מאת: Johnstone, P.T
יצא לאור: (1987)

Methods of logic/
מאת: QUINE, Willard Van Orman
יצא לאור: (1952)

Introduction to Logic/
מאת: Suppes, Patrick
יצא לאור: (1957)

Discrete Mathematics
מאת: Vatsa, B. S.

Set theory, Logic and their limitations / Moshe Machover.
מאת: Machover ,Moshe
יצא לאור: (1996)

Schaum's Outline of Discrete Mathematics
מאת: Lipschutz, S.
יצא לאור: (1997)

Wittgenstein's tractatus : an introduction/
מאת: MOUNCE, H.O
יצא לאור: (1981)

2000 Solved Problems in Discrete Mathematics
מאת: Lipschutz, S.
יצא לאור: (1992)

Philosophy of logics/
מאת: Haack, Susan
יצא לאור: (1978)

Critical Thinking: an introduction to logic and scientific Method/
מאת: Black, Max
יצא לאור: (1952)