Refine your search


You are not logged in Show Basket
  Home     Advanced Search     Back  
Catalogue Search Results

You searched: |  Subject = Logic, logic, logic symbolic and mathematical,  | 
Results: 46 found in 0.013 seconds

 
Title
Author
Publisher Edition
Shelf
At
0
Logic Colloquium '98 :
proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998 /
ISBN: 1568811136
Association for Symbolic Logic, c2000. QA9.A1 L64 1998 -
-
0
Gödel '96 :
logical foundations of mathematics, computer science, and physics-- Kurt Gödel's Legacy /
ISBN: 1568811535 (pbk. : alk. paper)
Association for Symbolic Logic, c2001. QA9.A1 G6 1996 NEU Grand Library[General Collection]
Available
2
100% mathematical proof /
ISBN: 0471961981
Wiley, c1996. QA9.54 .G367 1996 NEU Grand Library[General Collection]
Available
1
Kanıtlar ve çürütmeler :
matematiksel keşfin mantığı /
ISBN: 9786054883028
Nesin Matematik Köyü , 2014. QA8.4 .L35 2014 NEU Grand Library[General Collection]
Available
0
Readings in nonmonotonic reasoning /
ISBN: 0934613451 (pbk.) :
M. Kaufmann Publishers, c1987. Q335 .R433 1987 University of Kyrenia Grand Library[General Collection] (1)
Yeniboğaziçi Grand Library[General Collection] (1)
Available
1
Logic, artificial intelligence and robotics :
LAPTEC 2001 /
ISBN: 1586032062 (IOS Press : hd.bd.)
IOS Press ; c2001. Q335 L64 2001 Storage -
Ask reception
0
Advances in logic based intelligent systems :
selected papers of LAPTEC 2005 /
ISBN: 1586035681
IOS Press, c2005. Q335 A38 2005 NEU Grand Library[General Collection]
Available
0
Minds and machines
Kluwer Academic Publishers, c1991- Q334 .M56 Online electronic
Not for loan
0
Advances in logic, artificial intelligence, and robotics :
LAPTEC 2002 /
ISBN: 1586032925
IOS Press/Ohmsha, 2002. Q334 .C69 2002 NEU Grand Library[General Collection]
Available
1
Mathematics year 5 :
Work book /
Canbulat Basımevi, 2010. JUV 0489 1 - On loan
-
Quick search
Term:
Full phrase Any word

<<

<

3

4

5

>

>>

Results 21 - 30 of 46 records.
New search | Back to the last search


NEAR EAST UNIVERSITY GRAND LIBRARY +90 (392) 223 64 64 Ext:5536. Near East Boulevard, Nicosia, TRNC
This software is developed by NEU Library and it is based on Koha OSS
conforms to MARC21 library data transfer rules.