Biblioteca San Esteban Salamanca catalog › Details for: Manual del cristiano :Nuevo y completo diccionario

Normal view MARC view ISBD view

Manual del cristiano :Nuevo y completo diccionario / Gertrudis Gómez De Avellaneda De Sabater; Carmen Bravo-Villasante

By: Gómez de Avellaneda, Gertrudis Contributor(s): Bravo-Villasante, Carmen Material type: Text

TextLanguage: Spanish Publication details: Madrid : F. U. E. , 1975Description: 234 p.; 18 cmSubject(s): Devocionario

Holdings ( 1 )

Item type	Current library	Call number	Status	Date due	Barcode
Libros	San Esteban Valladolid	51/A10 (Browse shelf (Opens below))	Available		VA28052

Browsing San Esteban shelves, Shelving location: Valladolid Close shelf browser (Hides shelf browser)

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	39/A7 Educación e ineficacia	63/A3 El Oriente Medio, encrucijada del mundo	34/C2 Historia de la estructura y del pensamiento social	51/A10 Manual del cristiano :Nuevo y completo diccionario	66/5 Málaga bajo el dominio rojo	63/B8 En familia. Versos viejos	45/A2 Curso universitario de teología :Vol. I: Hacia el verdadero Cristianismo. Vol. II: La audacia de creer	Next

Back to results

1 Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought
by Frege, Gottlob
2 Letter to Frege
by Russell, Bertrand
3 Investigations in the foundations of set theory I
by Zermelo, Ernst
4 A simplification of the logic of relations
by Wiener, Norbert
5 The Foundations of elementary arithmetic established by means of the recursive mode of thought, without the use of apparent variables ranging over infinite domains
by Skolem, Thoralf
6 On the principle of excluded middle
by Kolmogorov, Moses
7 On the domains of definition of functions
by Brouwer, Luitzen Egbertus Jan
8 The foundations of mathematics
by Hilbert, David
9 Intuitionistic reflections on formalism
by Brouwer, Luitzen Egbertus Jan
10 On mathematical logic
by Skolem, Thoralf
11 The completeness of the axioms of the functional calculus of logic
by Gödel, Kurt
12 Some mathematical results on completeness and consistency. On formally undecidable propositions of Principia mathematica and related systems I, and On completeness and consistency
by Gödel, Kurt
13 On the consistency of arithmetic
by Herbrand, Jacques
14 The Development of Mathematical Logic in Poland between thew two Wars
by Jordan, Zbigniew
15 On a Decision Method in Restricted Second Order Arithmetic
by Büchi, J. Richard
16 The Undecidability of Exponential Diophantine Equations
by Robinson, Julian
17 On a Theorem of Cobham Concerning Undecidable Theories
by Vaught, Robert L.
18 The Theory of Hierarchies
by Addison, J. W.
19 Turing-Machine Computable Functionals of Finite Types I
by Kleene, Stephen Cole
20 Recursive Equivalence Types and Combinatorial Functions
by Myhill, John

Print
Suggest for purchase
More searches

Search for this title in:
Otras bibliotecas (WorldCat) Otras bases de datos (Google Scholar) Tiendas Online (Bookfinder.com) Open Library (openlibrary.org)