Зображення обкладинки

First steps in model logic

Показати інші версії (1)

Збережено в:

Бібліографічні деталі
Автор:	Popkorn, Sally
Формат:	Книга
Опубліковано:	Cambridge Cambridge Univ. Pr. 1994.
Предмети:	Mathematical (Symbolic) Logic
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

First steps in model logic /
за авторством: Popkorn, Sally
Опубліковано: (1994)

Logic for mathematicians
за авторством: Hamilton, Alan G., 1943-
Опубліковано: (2001)

Logic for mathematicians /
за авторством: Hamilton, Alan G., 1943-
Опубліковано: (2001)

Threshold logic /
за авторством: LEWIS, P.M
Опубліковано: (1967)

Computability and logic /
за авторством: Boolos, George S.
Опубліковано: (1989)

Fundamentals of symbolic logic/
за авторством: AMBROSE, Alice
Опубліковано: (1948)

Introduction to mathematical logic; set theory / computable functions, model theory.
за авторством: MALITZ, Jerome
Опубліковано: (1979)

Language logic and mathematics/
за авторством: Kilmister, C.W
Опубліковано: (1967)

Logic With Trees: an introduction to symbolic logic/
за авторством: Howson, Colin
Опубліковано: (1997)

Combinatory logic/
за авторством: CURRY, Haskell B.
Опубліковано: (1968)

Mathematical logic and formal systemss: a collection of papers in honor of professor newton C. A. da costa
Опубліковано: (1985)

Elements of mathematical logic/
за авторством: NOVIKOV, P.S
Опубліковано: (1964)

Elements of mathematical logic/
за авторством: LUKASIEWICZ, Jan
Опубліковано: (1963)

Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/
за авторством: SCHMIDT, H. Arnold ed
Опубліковано: (1968)

Varieties of constructive mathematics /
за авторством: Bridges, Douglas

Leibnits and the seventeenth-century /
за авторством: Meyer, R.W
Опубліковано: (1952)

Varieties of constructive mathematics
за авторством: Bridges, Douglas
Опубліковано: (1987)

New Methods in symbolic logic/
за авторством: STANDLEY, Gerald B.
Опубліковано: (1971)

Notes on logic and set theory /
за авторством: Johnstone, P.T
Опубліковано: (1987)

Set theory, Logic and their limitations / Moshe Machover.
за авторством: Machover ,Moshe
Опубліковано: (1996)

Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
за авторством: Rodríguez-Consuegra, Francisco
Опубліковано: (2025)

Schaum's outline of set theory and related topics /
за авторством: Lipschutz, Seymour
Опубліковано: (1981)

Theory and Problems of Set Theory and Related Topics
за авторством: Lipschutz, Seymour
Опубліковано: (1964)

Schaum's outline of set theory and related topics
за авторством: Lipschutz, Seymour
Опубліковано: (1981)

Set Theory
за авторством: Chatterjee, P. N.
Опубліковано: (1993)

Set Theory
за авторством: Chatterjee, P. N.
Опубліковано: (1995)

Essential Computer Mathematics
за авторством: Lipschutz, Seymour
Опубліковано: (1982)

Proofs and refutations/ the logic of mathemati-
за авторством: LAKATOS, Inre
Опубліковано: (1976)

The Axiomatic method: an introduction to mathematical logic/
за авторством: LIGHTSTONE, A.H
Опубліковано: (1964)

Set Theory: and Related Topics
за авторством: Spiegel, Murray R.
Опубліковано: (1965)

New Directions in Relevant Logic
Опубліковано: (2025)

An Invitation to Mathematical Logic
за авторством: Marker, David
Опубліковано: (2024)

Schaum's Outline of Discrete Mathematics
за авторством: Lipschutz, S.
Опубліковано: (1997)

Discrete Mathematics
за авторством: Vatsa, B. S.

2000 Solved Problems in Discrete Mathematics
за авторством: Lipschutz, S.
Опубліковано: (1992)

Discrete Mathematics and Its Applications
за авторством: Rosen, K. H.
Опубліковано: (1999)

Logic, methodology and philosophy of science; proceedings of the 1964 international
Опубліковано: (1965)

Constructive order types/
за авторством: CROSSLEY, John N.
Опубліковано: (1969)

Logical papers: a selection
за авторством: Leibniz, Gottfried Wilhelm, Freiherr Von, 1646-1716
Опубліковано: (1966)

Universal Logic, Ethics, and Truth Essays in Honor of John Corcoran (1937-2021) /
Опубліковано: (2024)