Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

dmitri83's fo-logic [3 articles] Export

Recent papers added to dmitri83's library classified by the tag fo-logic. You can also see everyone's fo-logic.

Note: You may cite this page as: http://www.citeulike.org/user/dmitri83/tag/fo-logic

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

model-theory	63
modal-logic	26
algebraic-geometry	23
topology	20
survey	15
knowledge	13
geometry	13
lecture-notes	12
quantum-computation	12
lambda-calculus	11
category-theory	10
physics	9
functional-programming	9
computational-complexity	8
tcs	8
acquaintances	7
finite	7
general-culture	7
hol	6
algebraic-topology	6
set-theory	5
combinatorics	5
descriptive-set-theory	4
noncommutative-geometry	4
proof-theory	4
nip	4
motives	4
fo-logic	3
textbook	3
quantum-logic	3
aec	2
neighborhood-semantics	2
hybrid-logic	2
arithmetic	2
theorem-proving	2
algorithms	1
n-categories	1
graphs	1
representation-theory	1
c-star-algebras	1
fun	1

	Topological Model Theory With An Interior Operator: Consistency Properties And Back And Forth Arguments [My Copy] Archiv fur mathematische Logik und Grundlagenforschung, Vol. 20 (1980), pp. 37-54. by J. A. Makowsky, M. Ziegler posted to fo-logic topology by dmitri83 on 2006-04-19 13:14:11 as
	Mathematical Logic [My Copy] (1967) by Joseph Shoenfield posted to fo-logic textbook by dmitri83 on 2006-04-03 15:31:37 as
	Uniform Short Proofs for Classical Theorems [My Copy] Notre Dame Journal of Formal Logic, Vol. 42, No. 2. (2001), pp. 121-127. by Kees Doets posted to fo-logic modal-logic by dmitri83 on 2006-03-30 16:47:39 as

dmitri83's fo-logic [3 articles] Export

dmitri83's tags