Aspects of mathematical logic : lectures given at the Centro internazionale matematico estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968Casari, EttoreRead- Gentzen calculi for modal propositional logicPoggiolesi, FrancescaRead
- Giuseppe Peano between mathematics and logic : proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario MathemaSkof, FulviaRead
- Hybrid logic and its proof-theoryBraüner, TorbenRead
- Logica : Metodo BreveMundici, DanieleRead
- Mathematical logic and model theory : a brief introductionPrestel, A;Delzell, Charles NRead
- Selected Correspondence of L.E.J. Brouwer, TheDalen, DirkRead
- Cognitive reasoning : a formal approachAnshakov, O. M;Gergely, TRead
- Decision procedures : an algorithmic point of viewKroening, Daniel;Strichman, OferRead
- Logic for computer scientistsSchöning, UweRead
- Logic functions and equations : examples and exercisesSteinbach, Bernd;Posthoff, ChristianRead
- Mathematical logic : foundations for information scienceLi, WeiRead
- Proofs and algorithms : an introduction to logic and computabilityDowek, GillesRead
- Probabilistic logics and probabilistic networksHaenni, RolfRead
- Adapting proofs-as-programs : the Curry-Howard protocolPoernomo, Iman Hafiz;Crossley, John N;Wirsing, MRead
- Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papersHong, Hoon;Wang, DongmingRead
- Automated deduction in geometry : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papersBotana, Francisco;Recio, TRead
- Formal concept analysis : 4th international conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedingsMissaoui, R;Schmid, JürgRead
- Formal concept analysis : 6th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedingsMedina, Raoul;Obiedkov, SergeiRead
- Formal concept analysis : 7th international conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009 : proceedingsFerré, Sébastien;Rudolph, SebastianRead
- Formal concept analysis : foundations and applicationsGanter, Bernhard;Stumme, Gerd;Wille, RudolfRead
- Formal concept analysis : third international conference, ICFCA 2005, Lens, France, February 14-18, 2005 : proceedingsGanter, Bernhard;Godin, RobertRead
- Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedingsGramlich, BernhardRead
- Frontiers of combining systems : 6th international symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007 : proceedingsKonev, Boris;Wolter, FrankRead
- Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. ProceedingsGhilardi, Silvio;Sebastiani, RRead
- Frontiers of combining systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 : proceedingsSofronie-Stokkermans, Viorica;Tinelli, CRead
- Intelligent computer mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedingsAutexier, SergeRead
- Intelligent computer mathematics : 16th symposium, Calculemus 2009 ; 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6-12, 2009 ; proceedingsCarette, JacquesRead
- Logic and its applications : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedingsBanerjee, Mohua;Seth, AnilRead
- Logic and Its applications : third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009 : proceedingsRamanujam, R;Sarukkai, SundarRead
- Logic and the foundations of game and decision theory - LOFT 8 : 8th international conference, Amsterdam, the Netherlands, July 3-5, 2008 : revised selected papersBonanno, Giacomo;Hoek, W. van der;Löwe, BenediktRead
- Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedingsBeckmann, Arnold;Dimitracopoulos, Costas;Löwe, BenediktRead
- Logic, language, information, and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedingsLeivant, Daniel Maurice Raphaël;Queiroz, Ruy J. G. B. deRead
- Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedingsHodges, Wilfrid;Queiroz, Ruy J. G. B. deRead
- Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedingsKanazawa, Makoto;Ono, Hiroakira;Queiroz, Ruy J. G. B. deRead
- Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedingsBeklemishev, Lev Dmitrievich;Queiroz, Ruy J. G. B. deRead
- Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedingsKauers, ManuelRead
- Combinatorics and reasoning : representing, justifying and building isomorphismsMaher, Carolyn Alexander;Powell, Arthur B;Uptegrove, Elizabeth BRead
- Collected works of Ludwig Wittgenstein, TheWittgenstein, Ludwig;Anscombe, G. E. M;Hargreaves, Raymond;Kenny, Anthony;McAlister, Linda L;Nyman, Heikki;Paul, Denis;Rhees, Rush;White, Roger;Wright, G. H. vonRead
- Dynamic formal epistemologyGirard, Patrick;Marion, Mathieu;Roy, OlivierRead
- Rationis Defensor : essays in honour of Colin CheyneMaclaurin, JamesRead
- Logical thinking in the pyramidal schema of concepts : the logical and mathematical elementsGeldsetzer, Lutz;Schwartz, Richard LRead
- Argument of mathematics, TheAberdein, Andrew;Dove, Ian JRead
- Paradoxes in probability theoryEckhardt, WilliamRead
- Teokset. Yksityisiä ajatelmia ; Järjen käyttöohjeet ; Metodin esitys ; Optiikka ; Kirjeitä 1619-1640 / 1Descartes, René;Aho, Tuomo;Alanen, Lilli;Jansson, SamiRead
- Handbook of logic and languageBenthem, J. F. A. K. van;Meulen, Alice G. B. terRead
- Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedingsPfenning, FrankRead
- Foundations of software science and computational structures : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 200Seidl, HelmutRead
- Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedingsArtemov, S. N;Nerode, AnilRead
- Logics of specification languagesBjørner, D;Henson, Martin CRead
Please Wait- Medicine - All Feeds
- Allergology and Immunology
- Anatomy and Physiology
- Anesthesiology and Intensive Care
- Biochemistry
- Bioengineering
- Biophysics
- Biotechnology
- Cardiology
- Cardiothoracic Surgery
- Clinical Chemistry
- Clinical Medicine
- Complementary Medicine
- Cytology and Histology
- Dentistry
- Dermatology
- Endocrinology
- Forensic Medicine
- Gastroenterology
- General Practice
- Genetics
- Geriatrics
- Health services and Administration
- Hematology
- Infectious Diseases
- Internal Medicine
- Logopedics
- Medical Education and Humanities
- Medical Microbiology
- Medicine - Other
- Nephrology
- Neurology
- Neurosurgery
- Nursing
- Nutritional Sciences
- Obstetrics and Gynecology
- Occupational Health
- Oncology
- Ophthalmology
- Oral and Maxillofacial Surgery
- Orthopedics and Traumatology
- Otorhinolaryngology and Phoniatrics
- Pathology
- Pediatrics
- Pharmacology and Pharmacotherapy
- Physical and Rehabilitation Medicine
- Plastic Surgery
- Psychiatry
- Psychology
- Public Health
- Radiology
- Respiratory Medicine
- Rheumatology
- Sports Medicine
- Surgery
- Urology
