• Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory
• Classical recursion theory
• Complete theories
• Combinatory logic
• Handbook of proof theory
• Handbook of mathematical logic
• Intuitionistic logic model theory and forcing
• Logic in algebraic form : three languages and theories
• Lincos design of a language for cosmic intercourse
• Nomological statements and admissible operations
• Ordinal algebras
• Set theory : an introduction to large cardinals
• Solvable cases of the decision problem
• Tools and techniques in modal logic
• The logical systems of Lesniewski
• The foundations of mathematics
• Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics
• The collected papers of Gerhard Gentzen
• Toward a systematic pragmatics
Studies in logic and the foundations of mathematics
| Permalink: | http://skupnikatalog.nsk.hr/Record/fsb.ZAG01000156444 |
|---|---|
| Ostali autori: | Heyting, A. (Editor) |
| Vrsta građe: | Nakladnička cjelina |
| Povezani zapisi: | |
| Jezik: | eng |
| Impresum: |
Amsterdam [etc.] :
North-Holland Publishing Company [etc.],
[19--]- .
|