Your search returned 20 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Proof theory / Gaisi Takeuti, Professor Emeritus of Mathematics, the University of Illinois at Urbana-Champaign.

by Takeuti, Gaisi, 1926-.

Series: Dover books on mathematicsEdition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Mineola, New York : Dover Publications, 2013Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (2)Call number: QA9.54 .T14 2013, ...

2.
Introduction to mathematical logic / Elliott Mendelson, Queens College, Flushing, New York, USA.

by Mendelson, Elliott.

Series: Textbooks in mathematicsEdition: 6th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boca Raton : CRC Press/Taylor & Francis Group, 2015Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (2)Call number: QA9 .M52 2015, ...

3.
Basic discrete mathematics : logic, set theory, & probability / Richard Kohar (Royal Military College of Canada).

by Kohar, Richard.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New Jersey : World Scientific, 2016Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (2)Call number: QA9.25 .K82 2016, ...

4.
Logic and computer design fundamentals / M. Morris Mano, California State University, Los Angeles, Charles R. Kime, University of Wisconsin, Madison, Tom Martin, Virginia Tech.

by Mano, M. Morris, 2016- | Kime, Charles R, 2016 | Martin, Tom, 2016-.

Edition: 5 Ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston : Pearson, 2016Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (3)Call number: TK7888.4 .M31 2016, ...

5.
Digital fundamentals / Thomas L. Floyd.

by Floyd, Thomas L.

Edition: 11th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston : Pearson, [2015]Copyright date: ©2015Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (2)Call number: TK7868.D5 .F66 2015, ...

6.
A beginner's guide to mathematical logic / Raymond M. Smullyan.

by Smullyan, Raymond M [author.].

Series: Dover books on mathematicsMaterial type: Text Text; Format: print ; Literary form: Not fiction Publisher: Mineola, New York : Dover Publications, Inc., [2014]Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (2)Call number: QA9.A1 Sm8 2014, ...

7.
Logic : a computer approach / Morton L. Schagrin, William J. Rapaport, Randall R. Dipert.

by Schagrin, Morton L | Rapaport, William J | Dipert, Randall R.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: New York : McGraw-Hill, c1985Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (1)Call number: BC138 .S1 1985.

8.
Thinking about logic : an introduction to the philosophy of logic / Stephen Read.

by Read, Stephen, 1947-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Oxford ; New York : Oxford University Press, 1994Online access: Publisher description Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (2)Call number: BC71 .R22 1994, ...

9.
Logical properties : identity, existence, predication, necessity, truth / Colin McGinn.

by McGinn, Colin, 1950-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 2000Online access: Publisher description | Table of contents only | Contributor biographical information Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (2)Call number: BC71 .M17 2000, ...

10.
The power of logic / C. Stephen Layman.

by Layman, C. Stephen (Charles Stephen), 1950-.

Edition: 2nd. ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Boston : McGraw-Hill, c2001Online access: Publisher description | Table of contents Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (3)Call number: BC61 .L45 2005, ...

11.
The development of logic / by William Kneale and Martha Kneale.

by Kneale, W. C. (William Calvert) | Kneale, Martha.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Oxford [Oxfordshire] : New York : Clarendon Press ; Oxford University Press, [1984]Online access: Publisher description Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (1)Call number: BC15 .K73 1984.

12.
Fundamentals of digital logic with VHDL design / Stephen D. Brown, Zvonko G. Vranesic.

by Brown, Stephen D, 2000 [author] | Vranesic, Zvonko G, 2000 [author].

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Boston : McGraw-Hill, 2000Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (7)Call number: TK7888.4 .B81 2000, ...

13.
Educational innovators : then and now / Louis M. Smith ... [et al.].

by Smith, Louis M. (Louis Milde), 1986 [author].

Series: Explorations in ethnography series | Anatomy of educational innovation ; bk. 1Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: New York : Falmer Press, 1986Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (3)Call number: LB2822.5 .Ed8 1986, ...

14.
Grammar and logic, V. Z. Panfilov.

by Panfilov, V. Z. (Vladimir Zinovʹevich).

Series: Janua linguarum. Series minor ; ; 63Edition: [Enlarged ed. of Grammatika i logika. Translated from the Russian by H. A. Vladimirsky]Material type: Text Text; Format: print ; Literary form: Not fiction Language: engrus Publication details: The Hague, Paris, Mouton, 1968Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (1)Call number: P295 .P17 1968.

15.
Demystifying chipmaking / Richard F. Yanda, Michael Heynes, Anne Miller.

by Yanda, Richard F, 2005 [author] | Heynes, Michael, 2005 [joint author] | Miller, Anne K, 2005 [author].

Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Oxford : Newnes / Elsevier 2005Online access: Publisher description | Table of contents only Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (1)Call number: TK7868.L6 Y1 2005.

16.
Introduction to logic design / Alan B. Marcovitz.

by Marcovitz, Alan B, 2005 [author].

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Boston : McGraw-Hill Higher Education, 2005Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (1)Call number: TK7868.L6 M33 2005.

17.
Fundamentals of electrical control / Clarence A. Phipps.

by Phipps, Clarence A, 1922- [author].

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Lilburn, Ga. : Fairmont Press, 1999Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (5)Call number: TK7881.2 .P53 1999, ...

18.
A theory of aspectuality : the interaction between temporal and atemporal structure / Henk J. Verkuyl.

by Verkuyl, H. J.

Series: Cambridge studies in linguistics ; 64Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Cambridge [England] ; New York, NY, USA : Cambridge University Press, c1993Online access: Publisher description | Table of contents Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (1)Call number: P281 .V59 1993.

19.
Conjectures and refutations : the growth of scientific knowledge / by Karl R. Popper.

by Popper, Karl R. (Karl Raimund), 1902-1994.

Edition: 5th ed. (rev.).Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: London ; New York : Routledge, 1989Online access: Publisher description Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (1)Call number: BD241 .P81 1989.

20.
The foundations of mathematics / Ian Stewart and David Tall.

by Stewart, Ian, 1945- | Tall, David Orme [joint author.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Oxford ; New York : Oxford University Press, 1977Online access: Table of contents only Availability: Items available for loan: AAMUSTED LIBRARY, KUMASI (3)Call number: QA37.2 .St4 1977, ...

Pages


© AAMUSTED, 2021. All rights reserved.