|
|
|
Mathematical foundations of information flow : [electronic resource] Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation, March 12-15, 2008, Tulane University, New Orleans, Louisiana / Samson Abramsky, Michael Mislove, editors. by Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation (2008 : New Orleans, La.) | Clifford, A. H. (Alfred Hoblitzelle), 1908- | Abramsky, Samson, 1953- | Mislove, Michael W | Tulane University. Department of Mathematics. Series: Proceedings of symposia in applied mathematics ; v. 71Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2012Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Proceedings. [electronic resource] Edited by Leon Henkin and [others]. by Tarski Symposium University of California, Berkeley, 1971 | Tarski, Alfred | Henkin, L�eon [ed.] | University of California, Berkeley | Association for Symbolic Logic | International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Series: Proceedings of symposia in pure mathematics ; v. 25Material type: Text;Language: English; Format:
available online
festschrift
; Literary form:
Not fiction
Publication details: Providence, Published for the Association for Symbolic Logic by American Mathematical Society, 1974Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A lattice of chapters of mathematics : [electronic resource] interpretations between theorems / Jan Mycielski, Pavel Pudl�ak, and Alan S. Stern. by Mycielski, Jan, 1932- | Pudl�ak, Pavel, 1952- | Stern, Alan S, 1958-. Series: Memoirs of the American Mathematical Society ; no. 426.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I., USA : American Mathematical Society, c1990Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Regular quantifiers in Logics by Sreejith, A.V [author]. Material type: Text Publication details: 2013Dissertation Note: 2013 ; Ph.D ; HBNIAdvisor(s): Kamal Lodaya.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th64 .
|
|
|
|
Dynamic Logic by Harel, David Kozen, Dexter Tiuryn, Jerzy. Edition: Eastern Economy EditionMaterial type: Text Publication details: New Delhi Prentice Hall of India 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HAR.
|
|
|
|
|
|
|
|
|
|
|
|
The Once and Future Turing Computing the World by Cooper, S. Barry. Ed | Hodges, Andrew. Publication details: New York Cambridge University Press 2016Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 48 Call number: 510.6 COO.
|
|
|
|
|
|
|
|
Logic in Computer Science Modelling and Reasoning about Systems by Huth, Michael | Ryan, Mark. Edition: 2ndMaterial type: Text Publication details: New York Cambridge University Press 2005Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 3 Call number: 681.3 HUTH.
|
|
|
|
|