Welcome
Copyright © SirsiDynix. All rights reserved.
(Build horizon-8.0.1.5407)
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
العربية (السعودية)
English (United States)
Log in
Help
Welcome
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Simple
Advanced
Power
Community Resource
Search History
My List
My Account
Search
Options
Refine
Start Over
Show details
Hide details
Duplicate Items
Add to My List
Print
Sorts and Limits
Sorts:
None
Author
Publication Date
Publisher
Subject
Title
Select All
Results 1 - 100 of 285
1
2
3
Next
>>
1
.
Title:
Propositional and Predicate Calculus A Model of Argument by Derek Goldrei.
Author:
GOLDREI, DEREK.
Publication:
Springer-Verlag London Limited, London : 2005.
2
.
Title:
Théorie des ensembles by N. Bourbaki.
Author:
Bourbaki, N.
Publication:
Springer-Verlag, Berlin, Heidelberg : 2006.
3
.
Title:
Mathematical Problems from Applied Logic II Logics for the XXIst Century / edited by Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov.
International Mathematical Series,
Author:
Gabbay, Dov M.
Publication:
Springer Science+Business Media, LLC, New York, NY : 2007.
4
.
Title:
A Course on Mathematical Logic by S. M. Srivastava.
Universitext
Author:
Srivastava, S. M.
Publication:
Springer Science+Business Media, LLC, New York, NY : 2008.
5
.
Title:
Proof Theory The First Step into Impredicativity / by Wolfram Pohlers.
Universitext
Universitext
Author:
Pohlers, Wolfram.
Publication:
Springer Berlin Heidelberg, Berlin, Heidelberg : 2009.
6
.
Title:
Recursion Theory and Computational Complexity edited by G. Lolli.
C.I.M.E. Summer Schools ;
C.I.M.E. Summer Schools ;
Author:
Lolli, G.
Publication:
Springer Berlin Heidelberg, Berlin, Heidelberg : 2011.
7
.
Title:
Aspects of Mathematical Logic edited by E. Casari.
C.I.M.E. Summer Schools ;
C.I.M.E. Summer Schools ;
Author:
Casari, E.
Publication:
Springer Berlin Heidelberg, Berlin, Heidelberg : 2011.
8
.
Title:
Model Theory and Applications edited by P. Mangani.
C.I.M.E. Summer Schools ;
C.I.M.E. Summer Schools ;
Author:
Mangani, P.
Publication:
Springer Berlin Heidelberg, Berlin, Heidelberg : 2011.
9
.
Title:
Advanced Łukasiewicz calculus and MV-algebras by D. Mundici.
Trends in Logic ;
Trends in Logic ;
Author:
Mundici, D.
Publication:
Springer Netherlands, Dordrecht : 2011.
10
.
Title:
Combinatorial Set Theory With a Gentle Introduction to Forcing / by Lorenz J. Halbeisen.
Springer Monographs in Mathematics,
Springer monographs in mathematics,
Author:
Halbeisen, Lorenz J.
Publication:
Springer London : Imprint: Springer, London : 2012.
Results 1 - 100 of 285
1
2
3
Next
>>
Duplicate Items
Add to My List
Print
Sorts and Limits
Sorts:
None
Author
Publication Date
Publisher
Subject
Title