|
|
| |
101. |
|
Proof and knowledge in mathematics
Publication:
London ; | New York : Routledge, 1992
. 1 online resource (x, 256 p.)
Date:1992
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
102. |
|
Logic with trees
by Howson, Colin.
Publication:
London ; | New York : Routledge, 1997
. 1 online resource (xiii, 197 p.) :
Date:1997
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
103. |
|
The equations
by Bais, Sander.
Publication:
Cambridge, Mass. : Harvard University Press, 2005
. 1 online resource (96 p.) :
, Originally published in the Netherlands by Amsterdam University Press.
Date:2005
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
104. |
|
Reasoning about theoretical entities
by Forster, T. E.
Publication:
River Edge, N.J. : World Scientific, 2003
. 1 online resource (93 p.)
Date:2003
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
105. |
|
Symbolic computation and education
Publication:
Singapore ; | Hackensack, NJ : World Scientific, 2007
. 1 online resource (viii, 245 p.) :
, "International Seminar on Symbolic Computation in Education (SCE 2006) held at Beihang University, Beijing, China from the 12th to 14th April 2006"--P. [v].
Date:2007
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
106. |
|
The essential Turing
by Turing, Alan Mathison,
Publication:
Oxford : | New York : Clarendon Press ; | Oxford University Press, 2004
. 1 online resource (viii, 613 pages) :
Date:2004
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
107. |
|
Advances in logic, artificial intelligence, and robotics
Publication:
Amsterdam ; | Washington, DC : IOS Press/Ohmsha, 2002
. 1 online resource (viii, 277 p.) :
Date:2002
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
108. |
|
Russell's hidden substitutional theory
by Landini, Gregory.
Publication:
New York : Oxford University Press, 1998
. 1 online resource (xi, 337 p.)
Date:1998
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
109. |
|
In the light of logic
by Feferman, Solomon.
Publication:
New York : Oxford University Press, 1998
. 1 online resource (xii, 340 p.)
Date:1998
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
110. |
|
The argument of the Tractatus
by McDonough, Richard M.,
Publication:
Albany : State University of New York Press, 1986
. 1 online resource (xii, 311 p.)
Date:1986
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
111. |
|
Mathematical thinking and writing
by Maddox, Randall B.
Publication:
San Diego, Calif. : Academic Press, 2002
. 1 online resource (xviii, 304 p.) :
, Includes index.
Date:2002
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
112. |
|
Advanced work in English /
Publication:
London : Longman, 1967
. vii, 190 p.
, Reprint 1977
Date:1967
Availability:
Copies available:
Turkeyen Campus
Education & Humanities
[PE1413 P28]
(4),
Actions:
Add to cart (remove)
|
|
| |
113. |
|
A course in mathematical logic /
Publication:
New York : Springer-Verlag., 1977
. xiii, 286
Date:1977
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
114. |
|
A first course in formal logic and its applications in computer science /
Publication:
Oxford ; | Boston : Blackwell Scientific Publications, 1986
. vi, 265 p. :
, Includes index.
Date:1986
Availability:
Copies available:
Turkeyen Campus
Science & Technology
[QA9 .D68 1986]
(3),
Actions:
Add to cart (remove)
|
|
| |
115. |
|
An introduction to the elements of mathematics.
Publication:
New York : Wiley, 1961
. 312 p :
Date:1961
Availability:
Copies available:
Turkeyen Campus
Science & Technology
[QA9 F8]
(1),
Actions:
Add to cart (remove)
|
No cover image available
No cover image available
|
| |
116. |
|
An introduction to mathematical logic
Publication:
Englewood Cliffs, N.J. Prentice-Hall 1969
. xi, 212
Date:1969
Availability:
Copies available:
Turkeyen Campus
Science & Technology
[QA9 R72]
(1),
Actions:
Add to cart (remove)
|
No cover image available
No cover image available
|
| |
117. |
|
Notes on logic and set theory /
Publication:
Cambridge [Cambridgeshire] | New York : Cambridge University Press, 1987
. x, 110 p. :
Date:1987
Availability:
Copies available:
Turkeyen Campus
Science & Technology
[QA9 J63 1987]
(1),
Actions:
Add to cart (remove)
|
|
| |
118. |
|
An introduction to mathematical thought /
Publication:
Cambridge, Mass. : Addison-Wesley., 1959
. 268 p. :
Date:1959
Availability:
Copies available:
Turkeyen Campus
Science & Technology
[QA9 S67]
(1),
Actions:
Add to cart (remove)
|
No cover image available
No cover image available
|
| |
119. |
|
Introduction to the foundations of mathematics /
Publication:
New york : Wiley, 1965
. 327p.
Date:1965
Availability:
Copies available:
Turkeyen Campus
Science & Technology
[QA9 W58 1965]
(1),
Actions:
Add to cart (remove)
|
No cover image available
No cover image available
|
| |
120. |
|
Mathematical interpretation of formal systems /
Publication:
Amsterdam : North-Holland Publishing Co., 1971
. viii, 113p.-
Date:1971
Availability:
Copies available:
Turkeyen Campus
Science & Technology
[QA9.37 S5]
(1),
Actions:
Add to cart (remove)
|
No cover image available
No cover image available
|
