Results of search for 'ccl=su:"Logic, Symbolic and mathematical"'

Results
	61.	Algebra and computer science/ Delaram Kahrobaei, Bren Cavallo, David Garber, editors. by Kahrobaei, Delaram, 1975- Cavallo, Bren, 1989- Garber, David, 1973- Series: Contemporary mathematics (American Mathematical Society) ; v. 677. Publisher: Providence, Rhode Island: American Mathematical Society, [2016] Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	62.	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)
	63.	Logic without borders: essays on set theory, model theory, philosophical logic and philosophy of mathematics/ edited by Asa Hirvonen, Juha Kontinen, Roman Kossak and Andres Villaveces. by Hirvonen, Asa [editor.] Kontinen, Juha [editor.] Kossak, Roman, 1953- Villaveces, Andrés (Mathematics professor) [editor.] Series: Ontos mathematical logic ; v. 5. Publisher: Berlin; Boston: De Gruyter, [2015] Availability: Items available for loan: Castorina (1)Call number: 510.92 L832 2015 IMPA. Found in Open Library: Place hold Add to cart (remove)
	64.	Philosophical aspects of symbolic reasoning in early modern mathematics/ edited by Albrecht Heeffer and Maarten Van Dyck. by Heeffer, Albrecht Van Dyck, Maarten Series: Studies in logic ; 26. Publication details: London: College Publications, 2010 Availability: Items available for loan: Castorina (1)Call number: 510.1 P568 2010 IMPA. Found in Open Library: Place hold Add to cart (remove)
	65.	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)
	66.	Hilary Putnam on logic and mathematics/ Geoffrey Hellman, Roy T. Cook, editors. by Hellman, Geoffrey [editor.] Cook, Roy T, 1972- Series: Outstanding contributions to logic ; v. 9. Publisher: Cham, Switzerland: Springer, [2018] Availability: Items available for loan: Castorina (1)Call number: 511.3 H641 2018 IMPA. Found in Open Library: Place hold Add to cart (remove)
	67.	Recent Trends in Algebraic Development Techniques [electronic resource] : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers / edited by Markus Roggenbach. by Roggenbach, Markus [editor.] SpringerLink (Online service) Series: LNCS sublibrary. SL 1, Theoretical computer science and general issues ; ; 12669. Edition: 1st ed. 2021. Source: Springer Nature eBook Material type: Text; Format: print ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 Online access: TCD-affiliated readers may click here for access. 1850-9999 Availability: Items available for loan: Castorina (1)Call number: 005.1015 R295 2021 IMPA. Lists: Novos títulos 2025. Found in Open Library: Place hold Add to cart (remove)
	68.	Selected works/ Ed. by L. Borkowski; translated from the Polish by O. Wojtasiewicz. by Ýukasiewicz, Jan Borkowski, Ludwik [ed.] Series: Studies in logic and the foundations of mathematics Language: engpol Publication details: Amsterdam ; North-Holland, 1970 Availability: Items available for loan: Castorina (1)Call number: 511.3 Y94 1970 IMPA. Found in Open Library: Place hold Add to cart (remove)
	69.	No cover image available No cover image available No cover image available Solvable cases of the decision problem. by Ackermann, W. (Wilhelm), 1896- Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1954 Availability: Items available for loan: Castorina (1)Call number: 511.35 A182s 1954 IMPA. Found in Open Library: Place hold Add to cart (remove)
	70.	No cover image available 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)
	71.	Logic and combinatorics: proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985/ Stephen G. Simpson, editor. by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics (1985 : Humboldt State University) Simpson, Stephen G. (Stephen George), 1945- American Mathematical Society Institute of Mathematical Statistics Society for Industrial and Applied Mathematics Series: Contemporary mathematics (American Mathematical Society) ; v. 65. Publication details: Providence, R.I.: American Mathematical Society, c1987 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	72.	No cover image available 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)
	73.	No cover image available No cover image available No cover image available An algebraic introduction to mathematical logic/ D. W. Barnes, J. M. Mack. by Barnes, D. W. (Donald W.), 1935- Mack, J. M [joint author.] Series: Graduate texts in mathematics ; v. 22 Publication details: New York: Springer-Verlag, [1975] Availability: Items available for loan: Castorina (1)Call number: 511.3 B261a 1975 IMPA. Found in Open Library: Place hold Add to cart (remove)
	74.	A course in mathematical logic/ by J. L. Bell and M. Machover. by Bell, J. L. (John Lane) Machover, Moshé [joint author.] Publication details: Amsterdam ; New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1977 Availability: Items available for loan: Castorina (1)Call number: 511.3 B433c 1977 IMPA. Found in Open Library: Place hold Add to cart (remove)
	75.	Toposes and local set theories: an introduction/ J. L. Bell. by Bell, J. L. (John Lane) Series: Oxford logic guides ; 14 \| Oxford science publications Publication details: Oxford: New York: Clarendon Press, Oxford University Press, 1988 Availability: Items available for loan: Castorina (1)Call number: 511.322 B433t 1988 IMPA. Found in Open Library: Place hold Add to cart (remove)
	76.	No cover image available No cover image available No cover image available Coding the universe/ A. Beller, R. Jensen, P. Welch. by Beller, A Jensen, Ronald Björn Welch, P Series: London Mathematical Society lecture note series ; 47. Publication details: Cambridge, UK: New York: Cambridge University Press, c1982 Availability: Items available for loan: Castorina (1)Call number: 511.322 B442c 1982 IMPA. Found in Open Library: Place hold Add to cart (remove)
	77.	La notion de nombre chez Dedekind, Cantor, Frege: théories, conceptions et philosophie/ Jean-Pierre Belna ; preface de Claude Imbert. by Belna, Jean-Pierre Series: Mathesis (Paris, France) Publication details: Paris: J. Vrin, 1996 Availability: Items available for loan: Castorina (1)Call number: 511.3 B451n 1996 IMPA. Found in Open Library: Place hold Add to cart (remove)
	78.	Philosophie des mathématiques/ Paul Bernays ; introduction et traduction de Hourya Benis Sinaceur. by Bernays, Paul, 1888- Series: Mathesis (Paris, France) Language: French Original language: German Publication details: Paris: J. Vrin, 2003 Availability: Items available for loan: Castorina (1)Call number: 510.1 B524p 2003 IMPA. Found in Open Library: Place hold Add to cart (remove)
	79.	No cover image available No cover image available No cover image available Formal methods;: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. by Beth, Evert Willem Series: Synthese library Publication details: Dordrecht; New York: D. Reidel; Gordon & Breach, [1962] Availability: Items available for loan: Castorina (2)Call number: 511.3 B562f 1962 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	80.	No cover image available No cover image available No cover image available La crise de la raison et la logique: conférences faites à l'Université de Liège dans le cadre des échanges culturels belgo-néerlandais au mois de mais, 1956. by Beth, Evert Willem Series: Collection de logique mathématique : sér. A Publication details: Paris: Gauthier-Villars, 1957 Availability: Items available for loan: Castorina (1)Call number: 510.1 B562C 1957 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 326 results.