Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("BURGESS JP")

Results 1 to 8 of 8

  • Page / 1
Export

Selection :

  • and

AXIOMS FOR TENSE LOGIC. I: "SINCE" AND "UNTIL"BURGESS JP.1982; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1982; VOL. 23; NO 4; PP. 367-374; BIBL. 1 REF.Article

THE COMPLETENESS OF INTUITIONISTIC PROPOSITIONAL CALCULUS FOR ITS INTENDED INTERPRETATIONBURGESS JP.1981; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1981; VOL. 22; NO 1; PP. 17-28; BIBL. 10 REF.Article

CONSISTENCY PROOFS IN MODEL THEORY. A CONTRIBUTION TO JENSENLEHRE.BURGESS JP.1978; ANN. MATH. LOGIC; NLD; DA. 1978; VOL. 14; NO 1; PP. 1-12; BIBL. 19 REF.Article

FORCING.BURGESS JP.1977; STUD. LOGIC FOUND. MATH.; NETHERL.; DA. 1977; VOL. 90; PP. 403-452; BIBL. 15 REF.Article

COMMON SENSE AND "RELEVANCE"BURGESS JP.1983; NOTRE DAME JOURNAL OF FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1983; VOL. 24; NO 1; PP. 41-53; BIBL. 16 REF.Article

AXIOMS FOR TENSE LOGIC. II: TIME PERIODSBURGESS JP.1982; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1982; VOL. 23; NO 4; PP. 375-383; BIBL. 1 REF.Article

DECIDABILITY FOR BRANCHING TIMEBURGESS JP.1980; STUD. LOGICA; POL; DA. 1980; VOL. 39; NO 2-3; PP. 203-218; BIBL. 3 REF.Article

CONDITIONAL DISTRIBUTIONS AND ORTHOGONAL MEASURESBURGESS JP; MAULDIN D.1981; ANN. PROBAB.; ISSN 0091-1798; USA; DA. 1981; VOL. 9; NO 5; PP. 902-906; BIBL. 7 REF.Article

  • Page / 1