|
|
Logic Programming Languages -- See Also the narrower term Prolog (Computer program language)
|
|
|
|
Logic Puzzles : Thomas, Nick Afka.
|
|
|
Advanced sudoku and kakuro / Nick Afka Thomas.
Axe 2nd Floor Stacks:Available
|
|
2006
|
|
Logic Structure Tables -- See Decision logic tables
|
|
|
|
Logic Study And Teaching : Schreiber, Alfred,
|
|
|
Begriffsbestimmungen : Aufsatze Zur Heuristik und Logik Mathematischer Begriffsbildung / Alfred Schre
Axe ProQuest E-Book:Available
|
|
2011
|
|
Logic Symbolic And Mathematical
--
22 Related Subjects
|
|
|
|
Logic Symbolic And Mathematical
|
|
|
100% mathematical proof / Rowan Garnier, John Taylor.
Axe 2nd Floor Stacks:Available
|
|
1996
|
Admissibility of logical inference rules / Vladimir V. Rybakov.
Axe Elsevier ScienceDirect Ebook:Available
|
|
1997
|
Advances in experimental philosophy of logic and mathematics / edited by Andrew Aberdein and Matthew
Axe ProQuest E-Book:Available
|
|
2019
|
Alan Turing [electronic resource] : his work and impact / edited by S. Barry Cooper and J. van Leeuwe
Axe ProQuest E-Book:Available
|
|
2013
|
135 additional entries
|
|
|
|
Logic Symbolic And Mathematical Charts Diagrams Etc
|
|
|
Logical reasoning with diagrams [electronic resource] / edited by Gerard Allwein and Jon Barwise ; wi
Axe ProQuest E-Book:Available
|
|
1996
|
|
Logic Symbolic And Mathematical Congresses
|
|
|
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conferenc
Axe ProQuest E-Book:Available
|
|
1999
|
Advances in logic, artificial intelligence, and robotics [electronic resource] : LAPTEC 2002 / edited
Axe ProQuest E-Book:Available
|
|
2002
|
Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas,
Axe ProQuest E-Book:Available
|
|
2007
|
Advances in technological applications of logical and intelligent systems [electronic resource] : sel
Axe ProQuest E-Book:Available
|
|
2009
|
19 additional entries
|
|
|
|
Logic Symbolic And Mathematical Data Processing
|
|
|
Commonsense reasoning / Erik T. Mueller.
Axe Elsevier ScienceDirect Ebook:Available
|
|
2006
|
Commonsense reasoning : an event calculus-based approach / Erik T. Mueller.
Axe Elsevier ScienceDirect Ebook:Available
|
|
2014
|
Commonsense reasoning [electronic resource] / Erik T. Mueller.
Axe ProQuest E-Book:Available
|
|
2006
|
|
Logic Symbolic And Mathematical Handbooks Manuals Etc
|
|
|
Handbook of logic and language / [edited by] Johan van Benthem, Alice ter Meulen.
Axe Elsevier ScienceDirect Ebook:Available
|
|
2011
|
|
Logic Symbolic And Mathematical History
|
|
|
Hausdorff on ordered sets / J. M. Plotkin, editor ; translated by J. M. Plotkin.
Axe ProQuest E-Book:Available
|
|
2005
|
|
Logic Symbolic And Mathematical History 19th Century
|
|
|
From Peirce to Skolem : a neglected chapter in the history of logic / Geraldine Brady.
Axe Elsevier ScienceDirect Ebook:Available
|
|
2000
|
The search for mathematical roots, 1870-1940 [electronic resource] : logics, set theories and the fou
Axe ProQuest E-Book:Available
|
|
2000
|
|
Logic Symbolic And Mathematical History 20th Century
|
|
|
From Peirce to Skolem : a neglected chapter in the history of logic / Geraldine Brady.
Axe Elsevier ScienceDirect Ebook:Available
|
|
2000
|
Propositions, functions, and analysis [electronic resource] : selected essays on Russell's philosophy
Axe ProQuest E-Book:Available
|
|
2005
|
Russell's hidden substitutional theory [electronic resource] / Gregory Landini.
Axe ProQuest E-Book:Available
|
|
1998
|
The search for mathematical roots, 1870-1940 [electronic resource] : logics, set theories and the fou
Axe ProQuest E-Book:Available
|
|
2000
|
|
Logic Symbolic And Mathematical Philosophy
|
|
|
New essays on Tarski and philosophy [electronic resource] / edited by Douglas Patterson.
Axe ProQuest E-Book:Available
|
|
2008
|
The Oxford handbook of philosophy of mathematics and logic [electronic resource] / edited by Stewart
Axe ProQuest E-Book:Available
|
|
2005
|
The Oxford handbook of philosophy of mathematics and logic [electronic resource] / edited by Stewart
Axe Oxford Handbooks E-Book:Available
|
|
2007
|
|
Logic Symbolic And Mathematical Study And Teaching : Dienes, Zoltan P.
|
|
|
Learning logic, logical games [by] Z.P. Dienes [and] E.W. Golding.
Axe 2nd Floor Stacks:Available
|
|
1966
|
|
Logic Symbolic And Mathematical Textbooks
|
|
|
Formal logic : a philosophical approach / Paul Hoyningen-Huene ; translated by Alex Levine.
Axe ProQuest E-Book:Available
|
|
2004
|
Logic and discrete mathematics : a concise introduction / Willem Conradie, Valentin Goranko.
Axe ProQuest E-Book:Available
|
|
2015
|
Logic and discrete mathematics : a concise introduction / Willem Conradie, University of Johannesburg
Axe ProQuest E-Book:Available
|
|
2015
|
|
Logic Textbooks
|
|
|
Einfuhrung in die logik / Ansgar Beckermann.
Axe ProQuest E-Book:Available
|
|
2014
|
Logic as a tool : a guide to formal logical reasoning / Valentin Goranko.
Axe ProQuest E-Book:Available
|
|
2016
|
Logic [electronic resource] : an introduction / Greg Restall.
Axe ProQuest E-Book:Available
|
|
2006
|
|
Logic Threshold -- See Threshold logic
|
|
|
|
Logic Universal -- See Logic, Symbolic and mathematical
|
|
|
|
Logica Modernorum Rijk L M De 1924 2012
|
|
|
Medieval supposition theory revisited : studies in memory of L. M. de Rijk / edited E. P. Bos ; in co
Axe ProQuest E-Book:Available
|
|
2013
|
|
Logical Analysis -- See Analysis (Philosophy)
|
|
|
|
Logical Atomism
|
|
|
The philosophy of logical atomism / Bertrand Russell ; edited and with an introduction by David Pears
Axe 3rd Floor Stacks:Available
|
|
1985
|
Thought, fact, and reference [electronic resource] : the origins and ontology of logical atomism / by
Axe ProQuest E-Book:Available
|
|
1978
|
|
Logical Empiricism -- See Logical positivism
|
|
|
|
Logical Positivism
--
2 Related Subjects
|
|
|
|
Logical Positivism
|
|
|
Constructing the World [electronic resource] / David J. Chalmers.
Axe ProQuest E-Book:Available
|
|
2012
|
Human knowledge : a classic statement of logical empiricism / Eino Kaila ; edited by Juha Manninen, I
Axe ProQuest E-Book:Available
|
|
2014
|
Logic and language; studies dedicated to Professor Rudolf Carnap on the occasion of his seventieth bi
Axe 3rd Floor Stacks:Available
|
|
1962
|
Logical empiricism in North America [electronic resource] / Gary L. Hardcastle and Alan W. Richardson
Axe ProQuest E-Book:Available
|
|
2003
|
9 additional entries
|
|
|
|
Logical Positivism Congresses
|
|
|
Emergence or reduction? [electronic resource] : essays on the prospects of nonreductive physicalism /
Axe ProQuest E-Book:Available
|
|
1992
|
|
Logical Semantics -- See Semantics (Philosophy)
|
|
|
|
Logicians Austria Biography
|
|
|
Godel : a life of logic / John L. Casti and Werner DePauli.
Axe 3rd Floor Stacks:Available
|
|
2000
|
Reflections on Kurt Godel / Hao Wang.
Axe 2nd Floor Stacks:Available
|
|
1987
|
|
Logicians Biography : Wang, Hao,
|
|
|
Reflections on Kurt Godel / Hao Wang.
Axe 2nd Floor Stacks:Available
|
|
1987
|
|
Logicians Great Britain Biography
|
|
|
British rhetoricians and logicians, 1500-1660. Second series [electronic resource] / edited by Edward
Axe Gale Electronic Resource:Available
|
|
2003
|
|
Logicians Poland Biography
|
|
|
Andrzej Mostowski and foundational studies [electronic resource] / edited by A. Ehrenfeucht, V.W. Mar
Axe ProQuest E-Book:Available
|
|
2008
|
|
Logicians United States Biography : Casti, J. L.
|
|
|
Godel : a life of logic / John L. Casti and Werner DePauli.
Axe 3rd Floor Stacks:Available
|
|
2000
|
|
Logik Der Forschung Popper Karl R Karl Raimund 1902 1994
|
|
|
Logik der Forschung / Karl Popper ; herausgegeben von Herbert Keuth.
Axe ProQuest E-Book:Available
|
|
2013
|
The power of argumentation [electronic resource] / edited by Enrique Suarez-Iniguez.
Axe ProQuest E-Book:Available
|
|
2007
|
|
Logique Du Sens Deleuze Gilles 1925 1995
|
|
|
Deleuze and desire : analysis of the logic of sense / Piotrek Swiatkowski.
Axe ProQuest E-Book:Available
|
|
2015
|
Gilles Deleuze's Logic of sense [electronic resource] : a critical introduction and guide / James Wil
Axe ProQuest E-Book:Available
|
|
2008
|
The priority of events [electronic resource] : Deleuze's Logic of sense / Sean Bowden.
Axe ProQuest E-Book:Available
|
|
2011
|
|
Logistic Regression Analysis : Rice, Daniel M.
|
|
|
Calculus of thought : neuromorphic logistic regression in cognitive machines / Daniel M. Rice.
Axe Elsevier ScienceDirect Ebook:Available
|
|
2014
|
|
Logistic Regression Analysis Data Processing : Hilbe, Joseph M.,
|
|
|
Logistic regression models / Joseph M. Hilbe.
Axe ProQuest E-Book:Available
|
|
2009
|
|
Logistic Regression Analysis United States
|
|
|
Female crash fatality risk relative to males for similar physical impacts.
Axe Federal Documents Online:Available
|
|
2022-
|
|
Logistics
--
3 Related Subjects
|
|
|
|
Logistics
|
|
|
Afloat prepositioning [electronic resource] : not all equipment meets the Army's readiness goal : rep
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
1997
|
Air Force depot maintenance : budgeting difficulties and operational inefficiencies : report to the C
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
2000
|
Bausteine des Logistikmanagements : Supply Chain Management. E-Logistics. Logistikcontrolling. Green
Axe ProQuest E-Book:Available
|
|
2021
|
Best management practices [electronic resource] : reengineering the Air Force's logistics system can
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
1996
|
52 additional entries
|
|
|
|
Logistics Afghan War 2001
|
|
|
Addressing U.S. strategy in Iraq and Afghanistan : balancing interests and resources : Committee on A
Axe Federal Documents Online:Available
|
|
2010
|
Afghanistan : getting the strategy right : hearing before the full committee of the Committee on Arme
Axe Federal Documents Online:Available
|
|
2010
|
Equipping the warfighter in Afghanistan : hearing before the Subcommittee on Tactical Air and Land Fo
Axe Federal Documents Online:Available
|
|
2011
|
The final report of the Commission on Wartime Contracting in Iraq and Afghanistan : hearing before th
Axe Federal Documents Online:Available
|
|
2012
|
3 additional entries
|
|
|
|
Logistics Automation : United States.
|
|
|
Defense logistics [electronic resource] : actions needed to improve implementation of the Army Logist
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
2010
|
|
Logistics Computer Programs : United States.
|
|
|
Army logistics [electronic resource] : report on manpower and workload system inadequate and system i
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
2002
|
|
Logistics Contracting Out
|
|
|
Contingency operations [electronic resource] : opportunities to improve the Logistics Civil Augmentat
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
1997
|
Defense depot maintenance : DOD shifting more workload for new weapon systems to the private sector :
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
1998
|
Public-private competitions : DOD's determination to combine depot workloads is not adequately suppor
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
1998
|
Public-private competitions : processes used for C-5 aircraft award appear reasonable : report to con
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
1998
|
|
Logistics Contracting Out Afghanistan
|
|
|
Afghanistan reconstruction contracts : lessons learned and ongoing problems : hearing before the Ad H
Axe Federal Documents Online:Available
|
|
2012
|
At what cost? [electronic resource] : contingency contracting in Iraq and Afghanistan : interim repor
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
2009
|
Commission on Wartime Contracting : interim findings and path forward : hearing before the Subcommitt
Axe Federal Documents Online:Available
|
|
2009
|
Contingency contracting [electronic resource] : improvements needed in management of contractors supp
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
2010
|
4 additional entries
|
|
|
|
Logistics Contracting Out Iraq
|
|
|
At what cost? [electronic resource] : contingency contracting in Iraq and Afghanistan : interim repor
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
2009
|
Commission on Wartime Contracting : interim findings and path forward : hearing before the Subcommitt
Axe Federal Documents Online:Available
|
|
2009
|
Contingency contracting [electronic resource] : improvements needed in management of contractors supp
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
2010
|
Transforming wartime contracting : controlling costs, reducing risks : final report to Congress : fin
Axe Federal Documents Online:Available
|
|
2011
|
Transforming wartime contracting : recommendations of the Commission on Wartime Contracting : hearing
Axe Federal Documents Online:Available
|
|
2012
|
|
Logistics Contracting Out United States
|
|
|
Air Force logistics [electronic resource] : C-17 support plan does not adequately address key issues
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
1999
|
Defense depot maintenance [electronic resource] : Commission on Roles and Mission's privatization ass
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
1996
|
Defense depot maintenance [electronic resource] : contracting approaches should address workload char
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
1998
|
Defense depot maintenance [electronic resource] : information on public and private sector workload a
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
1998
|
19 additional entries
|
|
|
|
Logistics Contracting Out United States Evaluation
|
|
|
Defense logistics [electronic resource] : high-level DOD coordination is needed to further improve th
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
2005
|
Inherently governmental : what is the proper role of government? : hearing before the Readiness Subco
Axe Federal Documents Online:Available
|
|
2009
|
Military operations [electronic resource] : DOD's extensive use of logistics support contracts requir
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
2004
|
|
Logistics Contracting Out United States Management
|
|
|
The Department of Defense's management of costs under the Logistics Civil Augmentation Program (LOGCA
Axe Federal Documents Online:Available
|
|
2007
|
Logistics civil augmentation program LOGCAP [electronic resource] : a USACE guide for commanders.
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
1994
|
|
Logistics Contracting Out United States Management Evaluation : Smith, Charles M.,
|
|
|
War for profit [electronic resource] : Army contracting vs. supporting the troops / Charles M. Smith.
Axe ProQuest E-Book:Available
|
|
2012
|
|
Logistics Cost Effectiveness
|
|
|
Defense logistics [electronic resource] : Army should track financial benefits realized from Its Logi
Axe Federal Documents Online:Available
|
ElectronicResource GovDoc
|
2013
|
DOD supply chain management : can the Department identify and meet its supply needs efficiently? : he
Axe Federal Documents Online:Available
|
|
2010
|
Add Marked to Bag
Add All On Page
|