Obálka

Proofs and refutations/ the logic of mathemati-

Uloženo v:

Podrobná bibliografie
Hlavní autor:	LAKATOS, Inre
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Cambridge C.U.P. 1976
Témata:	1.Mathematics -Philosophy 2.Logic ,Symbolic and Mathematical
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Computability and logic /
Autor: Boolos, George S.
Vydáno: (1989)

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

Logic for mathematicians /
Autor: Hamilton, Alan G., 1943-
Vydáno: (2001)

Logic for mathematicians
Autor: Hamilton, Alan G., 1943-
Vydáno: (2001)

Language logic and mathematics/
Autor: Kilmister, C.W
Vydáno: (1967)

Threshold logic /
Autor: LEWIS, P.M
Vydáno: (1967)

Fundamentals of symbolic logic/
Autor: AMBROSE, Alice
Vydáno: (1948)

First steps in model logic /
Autor: Popkorn, Sally
Vydáno: (1994)

First steps in model logic
Autor: Popkorn, Sally
Vydáno: (1994)

Introduction to mathematical logic; set theory / computable functions, model theory.
Autor: MALITZ, Jerome
Vydáno: (1979)

Varieties of constructive mathematics /
Autor: Bridges, Douglas

Leibnits and the seventeenth-century /
Autor: Meyer, R.W
Vydáno: (1952)

Varieties of constructive mathematics
Autor: Bridges, Douglas
Vydáno: (1987)

Notes on logic and set theory /
Autor: Johnstone, P.T
Vydáno: (1987)

Set theory, Logic and their limitations / Moshe Machover.
Autor: Machover ,Moshe
Vydáno: (1996)

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

The Foundations of Experimental Physics Unraveling the Premises of Physical and Scientific Knowledge /
Autor: Parravicini, Jacopo
Vydáno: (2024)

Schaum's outline of set theory and related topics /
Autor: Lipschutz, Seymour
Vydáno: (1981)

Schaum's outline of set theory and related topics
Autor: Lipschutz, Seymour
Vydáno: (1981)

Theory and Problems of Set Theory and Related Topics
Autor: Lipschutz, Seymour
Vydáno: (1964)

Set Theory
Autor: Chatterjee, P. N.
Vydáno: (1993)

Set Theory
Autor: Chatterjee, P. N.
Vydáno: (1995)

Essential Computer Mathematics
Autor: Lipschutz, Seymour
Vydáno: (1982)

Logic With Trees: an introduction to symbolic logic/
Autor: Howson, Colin
Vydáno: (1997)

Combinatory logic/
Autor: CURRY, Haskell B.
Vydáno: (1968)

Elements of mathematical logic/
Autor: NOVIKOV, P.S
Vydáno: (1964)

Elements of mathematical logic/
Autor: LUKASIEWICZ, Jan
Vydáno: (1963)

Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/
Autor: SCHMIDT, H. Arnold ed
Vydáno: (1968)

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

New Methods in symbolic logic/
Autor: STANDLEY, Gerald B.
Vydáno: (1971)

The Axiomatic method: an introduction to mathematical logic/
Autor: LIGHTSTONE, A.H
Vydáno: (1964)

Logical papers: a selection
Autor: Leibniz, Gottfried Wilhelm, Freiherr Von, 1646-1716
Vydáno: (1966)

The problem of inductive logic/
Autor: LAKATOS, Imre
Vydáno: (1968)

Schaum's Outline of Discrete Mathematics
Autor: Lipschutz, S.
Vydáno: (1997)

Discrete Mathematics
Autor: Vatsa, B. S.

2000 Solved Problems in Discrete Mathematics
Autor: Lipschutz, S.
Vydáno: (1992)

Discrete Mathematics and Its Applications
Autor: Rosen, K. H.
Vydáno: (1999)

Undecidable theories /
Autor: Tarski, Alfred
Vydáno: (1968)

Constructive order types/
Autor: CROSSLEY, John N.
Vydáno: (1969)

Conjectures and refutations: the growth of scientific knowledge/
Autor: Popper, Karl R.
Vydáno: (1963)