Mechanizing hypothesis formation : mathematical foundations for a general theory /

Main Author:	Ha?jek, Petr
Other Authors:	Harvra?nek, Tomas
Format:	Book
Language:	English
Published:	Berlin: Springer, 1978
Subjects:	Logic, Symbolic and mathematical Mathematical logic

Similar Items

Set theory and the continuum hypothesis/
by: Cohen, Paul J., 1934-
Published: (1966)

Mathematical logic and the foundations of mathematics/
by: Kneebone, G. T.
Published: (1963)

Popular lectures on mathematical logic /
by: Wang, Hao
Published: (1981)

The elements of mathematical logic/
by: Rosenbloom, Paul C.
Published: (1950)

Ω-Bibliography of mathematical logic/
Published: (1987)

Solutions to the exercises in first course in mathematical logic/
by: Binford, Frederick
Published: (1965)

Introduction to the foundations of mathematics /
by: Wilder, Raymond L.
Published: (1952)

A first course in logic : an introduction to model theory, proof theory, computability, and complexity /
by: Hedman, Shawn
Published: (2006)

Logic colloquium ʹ69 : proceedings of the Summer School and Colloquim in mathematical, logic, Manchester, August 1969 /
Published: (1971)

Introduction a la logique pertinente/
by: Rivenc, Francois
Published: (2005)

Logic Colloquium ʹ77 : Proceedings of a conference held in Wroclaw, Aug. 1-12, 1977 /
Published: (1978)

Logic Colloquium ʹ76 : proceedings of a conference held in Oxford in July 1976 /
Published: (1977)

Mathematical logic /
by: Chiswell, Ian, 1948-
Published: (2007)

Introduction to logic/
by: Suppes, Patrick, 1922-
Published: (1957)

Logic Colloquium ʹ80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic
Published: (1982)

Introduction to logic/
by: Suppes, Patrick, 1922-
Published: (1957)

Logic Colloquium ʹ73 : proceedings of the Logic Colloquim Bristol, July 1973 /
Published: (1975)

Logic Colloquium ʹ78 : proceedings of the colloquium held in Mons,August 1978 /
Published: (1979)

Formale Logik/
by: Lorenzen, Paul, .L6 1970 1915-1994
Published: (1970)

Colloque international de logique : Clermont-Ferrand 18-25 Juillet 1975
Published: (1977)

Formal logic/
by: Lorenzen, Paul, 1915-1994
Published: (1965)

The logical problem of induction/
by: Wright, G. H. von 1916-
Published: (1957)

Logic: an introductory course/
by: Newton-Smith, W. H.
Published: (1985)

Advances in linear logic /
Published: (1995)

Einfu?hrung in die symbolische Logik : mit besonderer Beru?cksichtigung ihrer Anwendungen /
by: Carnap, Rudolf, 1891-1970
Published: (1960)

Logik: ihn System und ihr Verhaltnis zur Logistik/
by: Freytag Loringhoff, Bruno, Bruno von, 1912-1996
Published: (1955)

Λογική: φιλοσοφική και συμβολική/
by: Βουδούρης, Κωνσταντίνος Ι.
Published: (1984)

Les principes de la logique et la critique contemporaine/
by: Reymond, Arnold, 1874-
Published: (1957)

Les applications techniques de la logique/
by: Touchais, Maurice, 1904-
Published: (1956)

Die Logik der Logistik/
by: Albrecht, Wolfgang
Published: (1954)

Introduction to modern mathematics
by: Rasiowa, Helena
Published: (1973)

Mathematical logic in the 20th century /
Published: (2003)

Logical foundations of probability/
by: Carnap, Rudolf, 1891-1970
Published: (1962)

The semantic foundations of logic /
by: Epstein, Richard L
Published: (1994)

Mathematics and logic for digital devices
by: Culbertson, James Thomas, 1911-
Published: (1958)

Mathematics and logic for digital devices
by: Culbertson, James Thomas, 1911-
Published: (1958)

A structuralist theory of logic/
by: Koslow, Arnold
Published: (1992)

Classical and fuzzy concepts in mathematical logic and applications/
by: Reghiχs, Mircea
Published: (1998)

Introduction to the foundations of mathematics/
by: Wilder, Raymond Louis, 1896-
Published: (1961)

Foundations of logic and mathematics/
by: Carnap, Rudolf, 1891-1970
Published: (1963)

Cannot write session to /tmp/vufind_sessions/sess_4fvqhj76qvfc0fiub2p3j8ok57