F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
461	LAWRENCE S. MOSS Department of Mathematics Indiana University Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2013-09-30 17:07:20 Science Academic conferences Abstraction Axiology Institute for Logic Language and Computation Modal logic Mathematical logic F-coalgebra European Summer School in Logic Language and Information Logic Philosophical logic Academia
462	The 30 Year Horizon M anuel Bronstein James Davenport Albrecht F ortenbacher Jocelyn Guidry M ichael M onagan Add to Reading List Source URL: axiom.axiom-developer.org Language: English - Date: 2012-06-11 00:44:50 Z notation Axiom Algebraic structures S Function Ring Mathematics Mathematical logic Software
463	2 2 Leroy F. Searle Department of English GN-30 University of Washington Add to Reading List Source URL: depts.washington.edu Language: English - Date: 2001-04-18 03:09:21 Logic Charles Sanders Peirce bibliography Pragmaticism Semeiotic Pragmatism Sign Semiotics Categories Representation Charles Sanders Peirce Philosophy Science
464	104- The N etz- Wo rk s o f G re ek D edu ct ion s The Netz-Works of Greek Deductions* Add to Reading List Source URL: www.bruno-latour.fr Language: English - Date: 2011-11-10 04:39:07 Knowledge Mathematical proof Logic Formalism Mathematical practice Mathematical logic Greek mathematics Philosophy of mathematics Mathematics Philosophy
465	1506 MATHEMATICS: F. W. LAWVERE Add to Reading List Source URL: www.pnas.org Language: English - Date: 2005-04-22 15:00:13 Homological algebra Algebraic topology Sheaf Peano axioms Axiom of choice Function Injective function Adjoint functors Isomorphism Mathematics Mathematical logic Functions and mappings
466	Scheuer, O., Loll, F., Pinkwart, N. & McLaren, B.M[removed]Computer-Supported Argumentation: A Review of the State of the Art. International Journal of Computer-Supported Collaborative Learning, 5(1), 43–102. Add to Reading List Source URL: www.oliver-scheuer.info Language: English - Date: 2013-03-29 10:49:09 Arguments Thought Debating Araucaria Diagramming software Argumentation theory Argument map Design rationale Argument Critical thinking Logic Science
467	There is one order-complete ordered-field Jonathan L.F. King University of Florida, Gainesville FL[removed], USA Add to Reading List Source URL: www.math.ufl.edu Language: English - Date: 2010-09-15 10:57:06 Symbol Set theory Constructible universe Ordinal arithmetic Curry–Howard correspondence Mathematical logic Mathematics Ordinal numbers
468	The Role of Logic and Ontology In Language and Reasoning John F. Sowa Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2011-01-03 02:40:32 Semiotics Charles Sanders Peirce Philosophical logic Philosophy of language Meaning Semiotic elements and classes of signs Sign Term logic Semantics Philosophy Logic Science
469	S e c t i o n ! : Mathematical and T h e o r e t i c a l Aspects o f A r t i f i c i a l l n t e l l i q e r . c c CHECKING PROOFS IN THE METAMATHEMATICS OF FIRST ORDER LOGIC Add to Reading List Source URL: ijcai.org Language: English - Date: 2008-09-30 05:17:55 Classical cipher Four-square cipher Computer programming Computing Software engineering
470	February[removed]L I F E A S P O LY- C O N T E X T U R A L I T Y * ) Add to Reading List Source URL: www.vordenker.de Language: English - Date: 2008-11-23 13:57:00 Ontology Theology Science of Logic Logic Idealism Many-valued logic Being and Nothingness Infinity Category of being Philosophy German idealism Philosophy of mathematics

UPDATE