( en | de | ru )

 

Disambiguierung von "Barwise, Jon"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Meeting of the Association for Symbolic Logic: San Francisco, 1981.

, , und . J. Symb. Log., 48 (2): 505-513 (1983)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jon Vlad

Jon Paunescu

Jon Fimian

Jón Jónasson

Jon Christensen

 

Weitere Publikationen von Autoren mit dem selben Namen

The situation in logic.. CSLI lecture notes series CSLI, (1989)Modal Correspondence for Models., und . J. Philosophical Logic, 27 (3): 275-294 (1998)Information and circumstance.. Notre Dame J. Formal Log., 27 (3): 324-338 (1986)An Architecture for Heterogeneous Reasoning (Invited Talk).. TARK, Seite 1-14. Morgan Kaufmann, (1998)Interpolation, Preservation, and Pebble Games., und . J. Symb. Log., 64 (2): 881-903 (1999)The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic., , , , und . J. Symb. Log., 44 (3): 469-480 (1979)On branching quantifiers in English.. J. Philosophical Logic, 8 (1): 47-80 (1979)Information and Impossibilities.. Notre Dame J. Formal Log., 38 (4): 488-515 (1997)Mathematical Proofs of Computer System Correctness. Notices of the American Mathematical Society, 36 (7): 844-851 (1989)Information Links in Domain Theory.. MFPS, Volume 598 von Lecture Notes in Computer Science, Seite 168-192. Springer, (1991)