|
|
| |
41. |
|
Models and computability
Publication:
Cambridge ; | New York : Cambridge University Press, 1999
. 1 online resource (ix, 419 p.)
Date:1999
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
42. |
|
Proceedings of the 12th Asian Logic Conference
Publication:
Singapore ; | Hackensack, NJ : World Scientific, 2013
. 1 online resource (viii, 337 p.)
Date:2013
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
43. |
|
Logic, construction, computation
Publication:
Berlin : De Gruyter, 2012
. 1 online resource (544 pages).
Date:2012
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
44. |
|
Philosophy of mathematics in the twentieth century :
by Parsons, Charles,
Publication:
. 1 online resource.
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
45. |
|
Infinity and truth /
Publication:
. 1 online resource (ix, 234 pages) :
, "A Workshop on Infinity and Truth was held at the Institute for Mathematical Sciences from 25 to 29 July 2011"--Preface.
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
46. |
|
Studies in logic
Publication:
Amsterdam ; | Philadelphia : John Benjamins Pub. Co., 1983
. 1 online resource (lviii, vi, 203 p.) :
, Originally published: Boston, Little, Brown, 1883.
Date:1983
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
47. |
|
Classical mathematical logic
by Epstein, Richard L.,
Publication:
Princeton : Princeton University Press, 2006
. 1 online resource (xxii, 522 p.) :
Date:2006
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
48. |
|
Mathematics and mathematical logic
Publication:
New York : Nova Science Publishers, 2010
. 1 online resource (x, 271 p.) :
Date:2010
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
49. |
|
Proceedings of the 11th Asian Logic Conference
Publication:
Singapore ; | Hackensack, NJ : World Scientific, 2012
. 1 online resource (x, 181 p.) :
Date:2012
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
50. |
|
Quantification
by Molczanow, Aleksy.
Publication:
Leiden : BRILL, 2012
. 1 online resource (250 p.)
Date:2012
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
51. |
|
Formal logic
by Jago, Mark.
Publication:
Penrith : Humanities-Ebooks, 2007
. 1 online resource (111 p.)
Date:2007
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
52. |
|
The origin of the logic of symbolic mathematics
by Hopkins, Burt C.
Publication:
Bloomington, Ind. : Indiana University Press, 2011
. 1 online resource (xxx, 559 p.)
Date:2011
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
53. |
|
Proof and Other Dilemmas
Publication:
Cambridge : Cambridge University Press, 2011
. 1 online resource.
, Title from publishers bibliographic system (viewed on 30 Jan 2012).
Date:2011
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
54. |
|
Phenomenology and logic
by Lonergan, Bernard J. F.
Publication:
Toronto [Ont.] : Published by University of Toronto Press for Lonergan Research Institute of Regis College, 2001
. 1 online resource (448 p.)
Date:2001
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
55. |
|
Bridge to abstract mathematics
by Oberste-Vorth, Ralph W.,
Publication:
[Washington, DC] : Mathematical Association of America, 2012
. 1 online resource (xix, 232 p.) :
Date:2012
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
56. |
|
Logique arithm�etique
by Gauthier, Yvon,
Publication:
Qu�ebec [Que.] : Presses de l'Universit�e Laval, 2010
. 1 online resource (1 texte �electronique (205 p.)) :
, Publi�e comme partie de Biblioth�eque des �editeurs �electroniques canadiens.
Date:2010
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
57. |
|
Conditional and preferential logics
by Pozzato, Gian Luca.
Publication:
Amsterdam ; | Washington, DC : IOS Press, 2010
. 1 online resource (viii, 200 p.)
Date:2010
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
58. |
|
Logical reasoning with diagrams
Publication:
New York : Oxford University Press, 1996
. 1 online resource (xv, 270 p.) :
Date:1996
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
59. |
|
Intermediate logic
by Bostock, David.
Publication:
Oxford : | New York : Clarendon Press ; | Oxford University Press, 1997
. 1 online resource (ix, 393 p.) :
Date:1997
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
60. |
|
Foundations without foundationalism
by Shapiro, Stewart,
Publication:
Oxford : Clarendon Press, 1991
. 1 online resource (xx, 277 p.)
Date:1991
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
