Omslagsbillede

Language logic and mathematics/

Saved in:

Bibliografiske detaljer
Hovedforfatter:	Kilmister, C.W
Format:	Bog
Sprog:	engelsk
Udgivet:	London : English Universities, 1967
Fag:	1.Mathematics 2. Logic, Symbolic and mathematical
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

Computability and logic /
af: Boolos, George S.
Udgivet: (1989)

Threshold logic /
af: LEWIS, P.M
Udgivet: (1967)

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

Logic for mathematicians /
af: Hamilton, Alan G., 1943-
Udgivet: (2001)

Logic for mathematicians
af: Hamilton, Alan G., 1943-
Udgivet: (2001)

Fundamentals of symbolic logic/
af: AMBROSE, Alice
Udgivet: (1948)

First steps in model logic /
af: Popkorn, Sally
Udgivet: (1994)

First steps in model logic
af: Popkorn, Sally
Udgivet: (1994)

Elements of mathematical logic/
af: NOVIKOV, P.S
Udgivet: (1964)

Elements of mathematical logic/
af: LUKASIEWICZ, Jan
Udgivet: (1963)

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

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

Varieties of constructive mathematics /
af: Bridges, Douglas

Varieties of constructive mathematics
af: Bridges, Douglas
Udgivet: (1987)

Set theory, Logic and their limitations / Moshe Machover.
af: Machover ,Moshe
Udgivet: (1996)

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

Combinatory logic/
af: CURRY, Haskell B.
Udgivet: (1968)

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

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

Essential Computer Mathematics
af: Lipschutz, Seymour
Udgivet: (1982)

New Methods in symbolic logic/
af: STANDLEY, Gerald B.
Udgivet: (1971)

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

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

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

Discrete Mathematics
af: Vatsa, B. S.

Logic, methodology and philosophy of science; proceedings of the 1964 international
Udgivet: (1965)

An Invitation to Mathematical Logic
af: Marker, David
Udgivet: (2024)

Schaum's Outline of Discrete Mathematics
af: Lipschutz, S.
Udgivet: (1997)

Discrete Mathematics and Its Applications
af: Rosen, K. H.
Udgivet: (1999)

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

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

Theory and Problems of Set Theory and Related Topics
af: Lipschutz, Seymour
Udgivet: (1964)

Set Theory
af: Chatterjee, P. N.
Udgivet: (1993)

Set Theory
af: Chatterjee, P. N.
Udgivet: (1995)

Mathematical Logic/
af: KLEENE, Stephen Cole
Udgivet: (1968)

2000 Solved Problems in Discrete Mathematics
af: Lipschutz, S.
Udgivet: (1992)

Mathematical logic and computability/
af: Keisler, H. Jerome
Udgivet: (1996)

Logical papers: a selection
af: Leibniz, Gottfried Wilhelm, Freiherr Von, 1646-1716
Udgivet: (1966)

Introduction to mathematical logic/
af: ROBINSON, Gerson B.
Udgivet: (1969)

Logical syntax of language/
af: Carnap, Rudolf
Udgivet: (2010)