Your search returned 6 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
An introduction to Ramsey theory : fast functions, infinity, and metamathematics by Series: Student mathematical library ; vol. 87
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Providence, Rhode island : American Mathematical Society, ©2018
Availability: Items available for loan: IIITD (1)Call number: REF 511.66 KAT-I.

Place hold Add to cart
2.
Algorithms for Constructing Computably Enumerable Sets [electronic resource] / by Series: Computer Science Foundations and Applied Logic
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
3.
Reverse Mathematics [electronic resource] : Problems, Reductions, and Proofs / by Series: Theory and Applications of Computability, In cooperation with the association Computability in Europe
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
4.
Computability [electronic resource] / by
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
5.
Programs as Diagrams [electronic resource] : From Categorical Computability to Computable Categories / by Series: Theory and Applications of Computability, In cooperation with the association Computability in Europe
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
6.
Automata Theory and Formal Languages [electronic resource] : Fundamental Notions, Theorems, and Techniques / by Series: Undergraduate Topics in Computer Science
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in