|
|
| |
61. |
|
Frege's logic
by Macbeth, Danielle.
Publication:
Cambridge, MA : Harvard University Press, 2005
. 1 online resource (x, 206 p.) :
Date:2005
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
62. |
|
Mathematical logic
by Quine, W. V.
Publication:
Cambridge, MA : Harvard University Press, 1981
. 1 online resource (xii, 346 p.)
Date:1981
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
63. |
|
Set theory and its logic
by Quine, W. V.
Publication:
Cambridge, Mass. : Belknap Press of Harvard University Press, 1969
. 1 online resource (xvii, 361 p.)
Date:1969
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
64. |
|
Constructibility and mathematical existence
by Chihara, Charles S.,
Publication:
Oxford : | New York : Clarendon Press ; | Oxford Univ. Press, 1990
. 1 online resource (xv, 282 p.) :
Date:1990
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
65. |
|
New perspectives on games and interaction
Publication:
Amsterdam, Netherlands : Amsterdam Univ. Press, 2008
. 1 online resource (328 p.) :
, "In the period February 5-7, 2007 we organized in-- Dutch Royal Academy of Sciences (KNAW) in Amsterdam the Academy Colloquium titled 'New Perspectives on Games and Interaction'-- this volume consists of the contributions written by the speakers'"--P. [7].
Date:2008
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
66. |
|
Advances in technological applications of logical and intelligent systems
Publication:
Amsterdam, Netherlands ; | Fairfax, VA : IOS Press, 2009
. 1 online resource (x, 285 p.) :
Date:2009
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
67. |
|
The determinacy of long games
by Neeman, Itay,
Publication:
Berlin ; | New York : Walter de Gruyter, 2004
. 1 online resource (xi, 317 p.) :
Date:2004
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
68. |
|
Folk algebras in algebra
by Frias, Marcelo Fabi�an,
Publication:
River Edge, NJ : World Scientific, 2002
. 1 online resource (xi, 217 p.)
Date:2002
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
69. |
|
Mathematical logic in Asia
Publication:
Singapore ; | Hackensack, NJ : World Scientific, 2006
. 1 online resource (viii, 319 p.) :
Date:2006
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
70. |
|
Commonsense reasoning
by Mueller, Erik T.
Publication:
Amsterdam ; | Boston : Elsevier Morgan Kaufmann, 2006
. 1 online resource (xxvi, 404 p.)
Date:2006
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
71. |
|
A first course in logic
by Hedman, Shawn.
Publication:
Oxford ; | New York : Oxford University Press, 2004
. 1 online resource (xx, 431 p.) :
Date:2004
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
72. |
|
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Publication:
Singapore ; | Hackensack, N.J. : World Scientific Pub. Co., 2010
. 1 online resource (viii, 393 p.) :
Date:2010
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
73. |
|
Diamond
by Hellerstein, N. S.
Publication:
New Jersey : World Scientific, 2010
. 1 online resource (xiv, 294 p.) :
Date:2010
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
74. |
|
Recursion theory for metamathematics
by Smullyan, Raymond M.
Publication:
New York : Oxford University Press, 1993
. 1 online resource (xiv, 163 p.)
Date:1993
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
75. |
|
G�odel's incompleteness theorems
by Smullyan, Raymond M.
Publication:
New York : Oxford University Press, 1992
. 1 online resource (xiii, 139 p.)
Date:1992
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
76. |
|
Collected works.
by G�odel, Kurt.
Publication:
Oxford [Oxfordshire] : | New York : Clarendon Press ; | Oxford University Press, 1986
. 1 online resource (1 v.) :
, German text, parallel English translation.
Date:1986
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
77. |
|
Advances in logic based intelligent systems
Publication:
Amsterdam ; | Washington, DC : IOS Press, 2005
. 1 online resource (xi, 289 p.) :
Date:2005
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
78. |
|
Lectures in logic and set theory.
by Tourlakis, George J.
Publication:
Cambridge : Cambridge University Press, 2003
. 1 online resource (1 v.)
Date:2003
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
79. |
|
Lectures in logic and set theory.
by Tourlakis, George J.
Publication:
Cambridge ; | New York : Cambridge University Press, 2003
. 1 online resource (1 v.)
Date:2003
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
80. |
|
Analysis and logic
Publication:
Cambridge, UK ; | New York : Cambridge University Press, 2002
. 1 online resource (xiv, 267 p.)
Date:2002
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
