Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-8 of 8 results
Beginning logic / E. J. Lemmon.
- Text
- Indianapolis : Hackett Pub. Co., c1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Book/text JSD 79-446 Offsite Logik als Erfahrungswissenschaft / von Gabriele Gutzmann.
- Text
- Berlin : Duncker & Humblot, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Book/text L-10 5371 Bd.55 Offsite Nonlinear approaches to satisfiability problems : proefschrift / door Johannes Pieter Warners.
- Text
- [Eindhoven : Technische Universiteit Eindhoven], c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 00-672 Offsite Logik als Erfahrungswissenschaft / von Gabriele Gutzmann.
- Text
- Berlin : Duncker & Humblot, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text BC199.E9 G87 Off-site Classical propositional operators : an exercise in the foundations of logic / by Krister Segerberg.
- Text
- 1982
- 1 Item
Item details Format Call Number Item Location Text QA9.3 .S43 Off-site Not available - Please for assistance.Lógica: o cálculo sentencial.
- Text
- São Paulo, Herder, 1973 [i.e. 1972]
- 1972
- 1 Item
Item details Format Call Number Item Location Text QA9.3 .H43 Off-site Introdução ao cálculo sentencial / Italiano Monini.
- Text
- Goiânia, GO : Editora UCG, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text QA9.3 .M66 1998 Off-site Introduction to Propositional Satisfiability / Victor Marek.
- Text
- London : College Publications, 2014.
- 2014
- 1 Item
Item details Format Call Number Item Location Text QA9.3 .M38 2014 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
