Your search returned 11 results.

Not what you expected? Check for suggestions
Sort
Select all Clear all
Select titles to:
Results
Lógica matemática / Carlos Fernando Mora Espinosa, Julio César Nieto Sánchez. by
Edition: Primera edición.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Bogotá, D.C., Colombia : Ediciones Universidad Central, [2019]
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
Dependence logic : a new approach to independence friendly logic / Jouko Väänänen. by Series: London Mathematical Society student texts ; 70.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge : Cambridge University Press, 2007
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
Independence-friendly logic : a game-theoretic approach / Allen L. Mann, Gabriel Sandu, Merlijn Sevenster. by Series: London Mathematical Society lecture note series ; 386.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, 2011
Other title:
  • Combinatorics, geometry and probability
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
Simple theories and hyperimaginaries / Enrique Casanovas. by Series: Lecture notes in logic ; 39.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: New York : Cambridge University Press, 2011
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
No cover image available
No cover image available
Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates by
Material type: Article Article
Language: English
Publication details: Springer Nature 2017
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings by Series:
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Language: English
Publication details: Springer Nature 2021
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
No cover image available
Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Language: English
Publication details: Springer Nature 2017
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
Inquisitive Logic Consequence and Inference in the Realm of Questions by Series:
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Language: English
Publication details: Cham Springer Nature 2022
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
Pages

O.P. Jindal Global University, Sonepat-Narela Road, Sonepat, Haryana (India) - 131001

Send your feedback to glus@jgu.edu.in

Hosted, Implemented & Customized by: BestBookBuddies   |   Maintained by: Global Library