![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 38 matches
- 1966
- Ignacio Angelelli, Terrell Ward Bynum:
Note on Frege's Begriffsschrift. Notre Dame J. Formal Log. 7(4): 369-370 (1966) - Florencio G. Asenjo:
A calculus of antinomies. Notre Dame J. Formal Log. 7(1): 103-105 (1966) - A. J. Baker:
Non-empty complex terms. Notre Dame J. Formal Log. 7(1): 48-56 (1966) - Joseph Barback:
A note on regressive isols. Notre Dame J. Formal Log. 7(2): 203-205 (1966) - Ivan Boh:
Propositional connectives, supposition, and consequence in Paul of Pergola. Notre Dame J. Formal Log. 7(1): 109-128 (1966) - Philip G. Calabrese:
The Menger algebras of 2-place functions in the 2-valued logic. Notre Dame J. Formal Log. 7(4): 333-340 (1966) - John Thomas Canty, Thomas W. Scharle:
Note on the singularies of S5. Notre Dame J. Formal Log. 7(1): 108 (1966) - Robert E. Clay:
On the definition of mereological class. Notre Dame J. Formal Log. 7(4): 359-360 (1966) - Henryk Fast:
A remark on continuous selectors. Notre Dame J. Formal Log. 7(1): 106-107 (1966) - William J. Frascella:
The construction of a Steiner triple system on sets of the power of the continuum without the axiom of choice. Notre Dame J. Formal Log. 7(2): 196-202 (1966) - Michael C. Gemignani:
Topological geometries and a new characterization of Rm. Notre Dame J. Formal Log. 7(1): 57-100 (1966) - Michael C. Gemignani:
On eliminating an unwanted axiom in the characterization of Rm using topological geometries. Notre Dame J. Formal Log. 7(4): 365-366 (1966) - Michael C. Gemignani:
A note on Bd X. Notre Dame J. Formal Log. 7(4): 367-368 (1966) - George Goe:
A reconstruction of formal logic. Notre Dame J. Formal Log. 7(2): 129-157 (1966) - George Goe:
A reconstruction of formal logic. Notre Dame J. Formal Log. 7(2): 158 (1966) - Arend Heyting:
In memoriam: Evert Willem Beth (1909-1964). Notre Dame J. Formal Log. 7(4): 289-295 (1966) - Woodrow Jaffee:
The syntax of projective geometry. Notre Dame J. Formal Log. 7(4): 328-332 (1966) - Melven R. Krom:
A property of sentences that define quasi-order. Notre Dame J. Formal Log. 7(4): 349-352 (1966) - Franz von Kutschera:
Zur semantischen Begründung der klassischen und der intuitionistischen Logik. Notre Dame J. Formal Log. 7(1): 20-47 (1966) - Hugues Leblanc:
Two separation theorems for natural deduction. Notre Dame J. Formal Log. 7(2): 159-180 (1966) - E. J. Lemmon:
A note on Halldén-incompleteness. Notre Dame J. Formal Log. 7(4): 296-300 (1966) - Sister Mary Justin Markham:
A group-theoretic characterization of the ordinary and isotropic Euclidean planes. Notre Dame J. Formal Log. 7(3): 209-238 (1966) - Gerald J. Massey:
An extension of Venn diagrams. Notre Dame J. Formal Log. 7(3): 239-250 (1966) - Albert A. Mullin:
On a proper class and related matters. Notre Dame J. Formal Log. 7(1): 101-102 (1966) - Albert A. Mullin:
C. S. S. Peirce and E. G. A. Husserl on the nature of logic. Notre Dame J. Formal Log. 7(4): 301-304 (1966) - Charles D. Parsons:
A propositional calculus intermediate between the minimal calculus and the classical. Notre Dame J. Formal Log. 7(4): 353-358 (1966) - Nicholas Rescher:
On modal renderings of intuitionistic propositional logic. Notre Dame J. Formal Log. 7(3): 277-280 (1966) - Michael D. Resnik:
A note on natural deduction. Notre Dame J. Formal Log. 7(2): 206-208 (1966) - Richard Routley:
Some things do not exist. Notre Dame J. Formal Log. 7(3): 251-276 (1966) - Thomas W. Scharle:
Single axiom schemata for D and S. Notre Dame J. Formal Log. 7(4): 344-348 (1966)
skipping 8 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-08-28 21:48 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint