Results of search for 'an:23728' › IMPA Library catalog

Results
	1.	Frege and Gödel; two fundamental texts in mathematical logic/ Jean Van Heijenoort. by Frege, Gottlob, 1848-1925 Van Heijenoort, Jean, 1912- Godel, Kurt, 1906-1978 Language: engger Publication details: Cambridge, Mass.: Harvard University Press, 1970 Availability: Items available for loan: Castorina (1)Call number: 511.3 F858 1970 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	No cover image available No cover image available Decidability and generalized quantifiers/ von Andreas Baudisch ... [et al.]. by Baudisch, Andreas Series: Mathematical research ; Bd. 3. Publication details: Berlin: Akademie-Verlag, 1980 Availability: Items available for loan: Castorina (1)Call number: 511.3 D294 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)
	3.	The combinatory programme/ Erwin Engeler ... [et al.]. by Engeler, Erwin Series: Progress in theoretical computer science Publication details: Boston: Birkhäuser, 1995 Availability: Items available for loan: Castorina (1)Call number: 511.3 C731 1995 IMPA. Found in Open Library: Place hold Add to cart (remove)
	4.	Logical reasoning with diagrams/ edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.]. by Allwein, Gerard, 1956- Barwise, Jon Series: Studies in logic and computation Publication details: New York: Oxford University Press, 1996 Availability: Items available for loan: Castorina (1)Call number: 511.3 A532 1996 IMPA. Found in Open Library: Place hold Add to cart (remove)
	5.	No cover image available No cover image available What is mathematical logic? J. N. Crossley ... [and others]. by Crossley, John N Publication details: London: Oxford University Press, 1972 Availability: Items available for loan: Castorina (1)Call number: 511.3 W555 1972 IMPA. Place hold Add to cart (remove)
	6.	Analysis and logic/ edited by Catherine Finet & Christian Michaux ; authors, C. Ward Henson ... [et al.]. by Finet, Catherine Michaux, Christian Henson, C. W Series: London Mathematical Society lecture note series ; 262 Publication details: Cambridge, UK; New York: Cambridge University Press, 2002 Online access: Table of contents Publisher description Availability: Not available: Castorina: Checked out (1). Found in Open Library: Place hold Add to cart (remove)
	7.	No cover image available No cover image available Model theory with applications to algebra and analysis/ Zoé Chatzidakis ... [et al.]. by Chatzidakis, Zoé Maria Series: London Mathematical Society lecture note series ; 349-350 Publication details: Cambridge, UK; New York: Cambridge University Press, 2008 Other title: Model theory and applications to algebra and analysis Availability: Items available for loan: Castorina (2)Call number: 511.3 M691 2008 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	8.	From logic to practice: Italian studies in the philosophy of mathematics/ Gabriele Lolli, Marco Panza, Giorgio Venturi, editors. by Lolli, Gabriele, 1942 Panza, Marco [editor.] Venturi, Giorgio [editor.] Series: Boston studies in the philosophy and history of science ; v. 308. Publisher: Cham: Springer, [2015] Availability: Items available for loan: Castorina (1)Call number: 511.3 F931 2015 IMPA. Found in Open Library: Place hold Add to cart (remove)
	9.	Functions and generality of logic: reflections on Dedekind's and Frege's logicisms/ Hourya Benis-Sinaceur, Marco Panza, Gabriel Sandu. by Benis-Sinaceur, Hourya. Is Dedekind a Logicist? Why does such a wuestion arise? [author.] Panza, Marco. From Lagrange to Frege: functions and expressions [author.] Sandu, Gabriel. Frege, Russell, Ramsey and the notion of an arbitrary function [author.] Series: Logic, epistemology and the unity of science ; 37. Publisher: Cham: Springer, [2015] Availability: Items available for loan: Castorina (1)Call number: 511.352 F979 2015 IMPA. Found in Open Library: Place hold Add to cart (remove)
	10.	Beyond first order model theory/ edited by Jose Iovino. by Iovino, Jose [editor.] Series: Monographs and research notes in mathematics Publisher: Boca Raton, FL: CRC Press, [2017] Availability: Items available for loan: Castorina (1)Call number: 511.3 B573 2017 IMPA. Found in Open Library: Place hold Add to cart (remove)
	11.	No cover image available No cover image available Truth functions and the problem of their realization by two-terminal graphs/ by A. Ádám. [Rev. by M. Makkai and F. Móricz] by Ádám, András Publication details: Budapest: Akadémiai Kiadó, 1968 Availability: Items available for loan: Castorina (1)Call number: 511.3 A193t 1968 IMPA. Found in Open Library: Place hold Add to cart (remove)
	12.	No cover image available No cover image available Notes on N-valued Post algebras/ Manuel Abad. On free L-algebras / Manuel Abad and Luiz Monteiro. by Abad, Manuel Monteiro, Luiz Abad, Manuel Series: Notas de lógica matemática ; no. 34-35. Publication details: Bahia Blanca, Argentina: INMABB-CONICET, Universidad Nacional del Sur, 1987 Availability: Items available for loan: Castorina (1)Call number: 511.3 A116n 1987 IMPA. Place hold Add to cart (remove)
	13.	No cover image available No cover image available Estructuras cíclica y monádica de un álgebra de Lukasiewicz n-valente/ Manuel Abad. by Abad, Manuel Series: Notas de lógica matemática ; no. 36. Publication details: Bahia Blanca, Argentina: INMABB-CONICET, Universidad Nacional del Sur, CONICET, 1988 Availability: Items available for loan: Castorina (1)Call number: 511.3 A116e 1988 IMPA. Found in Open Library: Place hold Add to cart (remove)
	14.	No cover image available No cover image available Fundamentals of symbolic logic/ [by] Alice Ambrose and Morris Lazerowitz. by Ambrose, Alice, 1906- Lazerowitz, Morris, 1909- [joint author.] Publication details: New York: Rinehart, [1948] Availability: Items available for loan: Castorina (1)Call number: 511.3 A496f 1948 IMPA. Found in Open Library: Place hold Add to cart (remove)
	15.	No cover image available No cover image available Logic: the theory of formal inference/ Alice Ambrose and Morris Lazerowitz. by Ambrose, Alice, 1906- Lazerowitz, Morris, 1909- [joint author.] Publication details: New York: Holt, Rinehart and Winston, [1961] Availability: Items available for loan: Castorina (1)Call number: 511.3 A496l 1961 IMPA. Found in Open Library: Place hold Add to cart (remove)
	16.	No cover image available No cover image available Einführung in die mathematische Logik/ Günter Asser. by Asser, Günter Series: Mathematisch-naturwissenschaftliche Bibliothek ; 18 Publication details: Leipzig: Teubner, 1959- Availability: Items available for loan: Castorina (1)Call number: 511.3 A846e 1958 IMPA. Found in Open Library: Place hold Add to cart (remove)
	17.	Correctness preserving program refinements: proof theory and applications/ R. J. R. Back. by Back, R. J. R Series: Mathematical Centre tracts ; 131. Publication details: Amsterdam ; Mathematisch centrum, 1980 Dissertation note: Revision of thesis (doctoral)--University of Helsinki, 1978. Availability: Items available for loan: Castorina (1)Call number: 511.3 B126c 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)
	18.	No cover image available No cover image available Recursive procedures/ by J. W. de Bakker. by Bakker, J. W. de (Jacobus Willem), 1939- Series: Matematisch Centrum (Amsterdam, Netherlands). Mathematical Centre tracts ; 24.Mathematical Centre tracts ; 24. Publication details: Amsterdam ; Mathematisch Centrum, 1973 Availability: Items available for loan: Castorina (1)Call number: 511.3 B168r 1973 IMPA. Place hold Add to cart (remove)
	19.	Fundamentals of stability theory/ John T. Baldwin. by Baldwin, John T Series: Perspectives in mathematical logic Publication details: Berlin ; New York: Springer-Verlag, c1988 Availability: Items available for loan: Castorina (1)Call number: 511.3 B181f 1988 IMPA. Found in Open Library: Place hold Add to cart (remove)
	20.	Categoricity/ John T. Baldwin. by Baldwin, John T Series: University lecture series ; v. 50 Publication details: Providence, R.I.: American Mathematical Society, c2009 Availability: Items available for loan: Castorina (1)Call number: 511.3 B181c 2009 IMPA. Found in Open Library: Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 221 results.