Search Results for Foundations. - Narrowed by: Algebra.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFoundations.$0026qf$003dSUBJECT$002509Subject$002509Algebra.$002509Algebra.$0026te$003dILS$0026ps$003d300?dt=list
2025-01-03T15:31:11Z
Solving Polynomial Equations Foundations, Algorithms, and Applications
ent://SD_ILS/0/SD_ILS:181358
2025-01-03T15:31:11Z
2025-01-03T15:31:11Z
Author Bronstein, Manuel. editor. Cohen, Arjeh M. editor. Cohen, Henri. editor. Eisenbud, David. editor. Sturmfels, Bernd. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138957">http://dx.doi.org/10.1007/b138957</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Foundations in Mathematics The Geometric Concept of Number
ent://SD_ILS/0/SD_ILS:330564
2025-01-03T15:31:11Z
2025-01-03T15:31:11Z
Author Sobczyk, Garret. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330564.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-8385-6">http://dx.doi.org/10.1007/978-0-8176-8385-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Algebraic Specification and Formal Software Development
ent://SD_ILS/0/SD_ILS:193572
2025-01-03T15:31:11Z
2025-01-03T15:31:11Z
Author Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17336-3">http://dx.doi.org/10.1007/978-3-642-17336-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Grothendieck Duality for Diagrams of Schemes
ent://SD_ILS/0/SD_ILS:188696
2025-01-03T15:31:11Z
2025-01-03T15:31:11Z
Author Lipman, Joseph. author. Hashimoto, Mitsuyasu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85420-3">http://dx.doi.org/10.1007/978-3-540-85420-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic semantics of imperative programs
ent://SD_ILS/0/SD_ILS:220125
2025-01-03T15:31:11Z
2025-01-03T15:31:11Z
Author Goguen, Joseph. Malcolm, Grant.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic in algebraic form Three languages and theories
ent://SD_ILS/0/SD_ILS:257256
2025-01-03T15:31:11Z
2025-01-03T15:31:11Z
Author Craig, William, 1918-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104779">http://www.sciencedirect.com/science/book/9780444104779</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The metamathematics of algebraic systems, collected papers: 1936-1967
ent://SD_ILS/0/SD_ILS:257255
2025-01-03T15:31:11Z
2025-01-03T15:31:11Z
Author Malʹt͡sev, A. I. (Anatoliĭ Ivanovich), 1909-1967. Wells, Benjamin Franklin.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422665">http://www.sciencedirect.com/science/book/9780720422665</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Course on Mathematical Logic
ent://SD_ILS/0/SD_ILS:331853
2025-01-03T15:31:11Z
2025-01-03T15:31:11Z
Author Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331853.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5746-6">http://dx.doi.org/10.1007/978-1-4614-5746-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
ent://SD_ILS/0/SD_ILS:332605
2025-01-03T15:31:11Z
2025-01-03T15:31:11Z
Author Hinkis, Arie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332605.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0348-0224-6">http://dx.doi.org/10.1007/978-3-0348-0224-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards a General Theory of Classifications
ent://SD_ILS/0/SD_ILS:332639
2025-01-03T15:31:11Z
2025-01-03T15:31:11Z
Author Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332639.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0348-0609-1">http://dx.doi.org/10.1007/978-3-0348-0609-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cylindric-like Algebras and Algebraic Logic
ent://SD_ILS/0/SD_ILS:333922
2025-01-03T15:31:11Z
2025-01-03T15:31:11Z
Author Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333922.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35025-2">http://dx.doi.org/10.1007/978-3-642-35025-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>