Your search returned 12 results.

Results
		An invitation to applied category theory : seven sketches in compositionality / Brendan Fong, David I. Spivak. by Fong, Brendan, 1988- [author.] Spivak, David I, 1978- [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2019 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Computability in analysis and physics / Marian B. Pour-El, J. Ian Richards. by Pour-El, Marian B. (Marian Boykan), 1928- [author.] Richards, J. Ian (Jonathan Ian), 1936- [author.] Series: Perspectives in logic Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Effective mathematics of the uncountable / edited by Noam Greenberg, Victoria University of Wellington, Joel David Hamkins, City University of New York, Denis Hirschfeldt, University of Chicago, Russell Miller, City University of New York. by Greenberg, Noam, 1974- [editor.] Hamkins, Joel David [editor.] Hirschfeldt, Denis Roman [editor.] Miller, Russell (Professor of mathematics) [editor.] Association for Symbolic Logic [issuing body.] Series: Lecture notes in logic ; 41. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2013 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer. by Schwichtenberg, Helmut, 1942- [author.] Wainer, S. S [author.] Association for Symbolic Logic [issuing body.] Series: Perspectives in logic Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2012 Other title: Proofs & Computations Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Computability and logic / George S. Boolos, John P. Burgess , Richard C. Jeffrey. by Boolos, George [author.] Burgess, John P, 1948- [author.] Jeffrey, Richard C [author.] Edition: Fifth edition. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2007 Other title: Computability & Logic Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey. by Boolos, George [author.] Burgess, John P, 1948- [author.] Jeffrey, Richard C [author.] Edition: Fourth edition. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2002 Other title: Computability & Logic Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. by Logic Colloquium (1997 : Leeds, England) Cooper, S. B. (S. Barry) [editor.] Truss, J. K [editor.] Association for Symbolic Logic [host institution.] Series: London Mathematical Society lecture note series ; 259. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1999 Other title: Models & Computability Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson. by Paulson, Lawrence C [author.] Series: Cambridge tracts in theoretical computer science ; 2. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1987 Other title: Logic & Computation Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Computation and automata / Arto Salomaa. by Salomaa, Arto [author.] Series: Encyclopedia of mathematics and its applications ; v. 25. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1985 Other title: Computation & Automata Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Computation and automata / Arto Salomaa. by Salomaa, Arto Series: Encyclopedia of mathematics and its applications ; Vol. 25 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985 Online resources: Table of contents Publisher description Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. by Gordon, Michael J. C, 1948- Milner, R. (Robin), 1934-2010 Wadsworth, Christopher P Series: Lecture notes in computer science ; 78 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1979 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. by Latin-American Symposium on Mathematical Logic State University of Campinas, 1976 Arruda, Ayda I [რედაქტორი] Costa, Newton C. A. da [რედაქტორი] Chuaqui, R [რედაქტორი] Series: Studies in logic and the foundations of mathematics ; v. 89 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam ; New York : New York : North-Holland Pub. Co. ; sale distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 (1)Call number: 517.11. Place hold Log in to add tags Add to cart (remove)

Not finding what you're looking for?

Make a purchase suggestion

Copyright © 2023 Sciencelib.ge All rights reserved.