Refine your search

Your search returned 72 results.

21.
Una sorprendente estrategia para sacar partido de una información en apariencia inútil / Ian Stewart

by Stewart, Ian.

Source: Investigacion y Ciencia (Traducción de: Scientific American) nº. 184, 1992, págs. 100Material type: Article Article; Format: print Language: Spanish Availability: Items available for loan: (1).
22.
Alfred Tarski y su contribución a la teoría de conjuntos / Josep Pla I Carrera

by Pla I Carrera, Josep.

Source: Investigacion y Ciencia (Traducción de: Scientific American) nº. 184, 1992, págs. 70-78Material type: Article Article; Format: print Language: Spanish Availability: Items available for loan: (1).
23.
Una historia parcialmente verdadera / Ian Stewart

by Stewart, Ian.

Source: Investigacion y Ciencia (Traducción de: Scientific American) nº. 199, 1993, págs. 86Material type: Article Article; Format: print Language: Spanish Availability: Items available for loan: (1).
24.
Frege. La publicación, hace cien años, de Begriffsschrift supone el nacimiento de la lógica matemática / Javier De Lorenzo

by Lorenzo, Javier de.

Source: Investigacion y Ciencia (Traducción de: Scientific American) nº. 36, 1979, págs. 100-112Material type: Article Article; Format: print Language: Spanish Availability: Items available for loan: (1).
25.
La lógica matemática: una disciplina en busca de encuadre / José Ferreiros

by Ferreiros, José.

Source: Theoria vol. 25/3, nº. 69, 2010, págs. 279-299Material type: Article Article; Format: print Language: Spanish Availability: Items available for loan: (1).
26.
Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought / Gottlob Frege

by Frege, Gottlob, , 1848-1925.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 1-83Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
27.
Letter to Frege / Bertrand Russell

by Russell, Bertrand, , 1872-1970.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 124-126Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
28.
Investigations in the foundations of set theory I / Ernst Zermelo

by Zermelo, Ernst.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 199-216Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
29.
A simplification of the logic of relations / Norbert Wiener

by Wiener, Norbert.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 224-228Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
30.
The Foundations of elementary arithmetic established by means of the recursive mode of thought, without the use of apparent variables ranging over infinite domains / Thoralf Skolem

by Skolem, Thoralf.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 302-334Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
31.
On the principle of excluded middle / Moses Kolmogorov

by Kolmogorov, Moses.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 414-438Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
32.
On the domains of definition of functions / Luitzen Egbertus Jan Brouwer

by Brouwer, Luitzen Egbertus Jan, , 1881-1966.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 446-464Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
33.
The foundations of mathematics / David Hilbert

by Hilbert, David, 1862-1943.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 464-480Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
34.
Intuitionistic reflections on formalism / Luitzen Egbertus Jan Brouwer

by Brouwer, Luitzen Egbertus Jan, , 1881-1966.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 490-493Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
35.
On mathematical logic / Thoralf Skolem

by Skolem, Thoralf.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 508-525Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
36.
The completeness of the axioms of the functional calculus of logic / Kurt Gödel

by Gödel, Kurt, , 1906-1978.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 582-592Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
37.
Some mathematical results on completeness and consistency. On formally undecidable propositions of Principia mathematica and related systems I, and On completeness and consistency / Kurt Gödel

by Gödel, Kurt, , 1906-1978.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 592-618Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
38.
On the consistency of arithmetic / Jacques Herbrand

by Herbrand, Jacques.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 592-618Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
39.
The Development of Mathematical Logic in Poland between thew two Wars / Zbigniew Jordan

by Jordan, Zbigniew.

Source: Polish Logic 1920-1939 : Papers / Storrs Mccall, B. Gruchman, H. Hiz Jordan, E. C. Luschei, S. Mccall, W. Teichmann, H. Weber, P. Wooduff, Tadeusz Kotarbinski , págs. 346-398Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 24/A2 (1).
40.
On a Decision Method in Restricted Second Order Arithmetic / J. Richard Büchi

by Büchi, J. Richard.

Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 1-12Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/A6 (1).

Bibliotecas Dominicos Provincia Hispania, 2016

Con tecnología Koha