3 research outputs found
Free Logic in Program Specification and Verification
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/2001
- Field of study
Toxicity and repellence of Taiwanese indigenous djulis, Chenopodium formosaneum, against Aedes albopictus (Diptera: Culicidae) and Forcipomyia taiwana (Diptera: Ceratopogonidae)
- Author
- AE Stuart
- AJS Weaving
- AL Okunade
- BR Warren
- C Regnault-Roger
- CC Yeh
- Chi-Rong Chen
- Chin-Gi Huang
- CJ Murray
- CM Smith
- DC Posy
- DE Keil
- DJ Finney
- DJ Gubler
- Eddie Hang Chio
- EH Chio
- EH Chio
- En-Cheng Yang
- Err-Lieh Hsu
- F Wantke
- FB Antwi
- FJ Gerber
- H Xu
- Hsiang-Ting Huang
- JW Lipscomb
- K Ganesan
- M Amakua
- M Anitha
- M Morimoto
- P Ponlawat
- PJ Tsai
- RH Scheffrahn
- Rong-Nan Huang
- TG Bird
- TM Katz
- V Corbel
- W Ohmura
- WJ Silva
- YC Chou
- YN Wang
- YN Wang
- YY Chuang
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Free Logic: A Fifty-Year Past and an Open Future
- Author
- A Church
- A Mostowski
- A Trew
- Aristotle
- B Russell
- B Skyrms
- B Skyrms
- CJ Posy
- CT Shipley
- DS Scott
- E Bencivenga
- E Bencivenga
- E Bencivenga
- E Bencivenga
- E Bencivenga
- E Bencivenga
- E Bencivenga
- E Bencivenga
- E Bencivenga
- E Bencivenga
- E Bencivenga
- H Leblanc
- H Leblanc
- H Leblanc
- H Leblanc
- H Leblanc
- HH Schneider
- HH Schneider
- HS Leonard
- J Hintikka
- J Hintikka
- J Hintikka
- J Hintikka
- J Hintikka
- K Fine
- K Lambert
- K Lambert
- K Lambert
- K Lambert
- K Lambert
- K Lambert
- K Lambert
- K Lambert
- K Lambert
- K Lambert
- K Lambert
- K Lambert
- K Lambert
- K Lambert
- K Lambert
- K Lambert
- K Lambert
- K Lambert
- K Lambert
- K Lambert
- K Lambert
- Lambert (1991a) 189-204. Carnap, Rudolf
- Lambert Karel
- Lambert Karel
- Lambert Karel/Bencivenga, Ermanno
- Lambert Karel/Leblanc, Hugues/Meyer, Robert K
- Lambert Karel/Scharle, Thomas
- Lambert Karel/van Fraassen, Bas C
- Lambert Karel/van Fraassen, Bas C
- Leblanc Hugues/Hailperin, Theodore
- Leblanc Hugues/Meyer, Robert K
- Leblanc Hugues/Meyer, Robert K
- Leblanc Hugues/Meyer, Robert K
- Leblanc Hugues/Thomason, Richmond H
- Leblanc Hugues/Thomason, Richmond H
- M Fisk
- N Rescher
- N Rescher
- Nakhnikian George/Salmon, Wesley C
- NB Cocchiarella
- NB Cocchiarella
- NB Cocchiarella
- NB Cocchiarella
- PW Woodruff
- PW Woodruff
- PW Woodruff
- R Meyer
- R Meyer
- R Routley
- R Routley
- R Schock
- R Schock
- R Schock
- R Schock
- R Schock
- R Schock
- R Schock
- R. D. Scales
- RD Scales
- Reprinted in Lambert (1991a) 28-48. Scott, Dana S
- Reprinted in Lambert (1991a) 49-81. Quine, Willard Van Orman
- RJ Cosgrove
- S Jankowski
- S Kanger
- S Lehmann
- SA Kripke
- T Hailperin
- T Parsons
- T Smiley
- V Fraassen
- V Fraassen
- V Fraassen
- V Fraassen
- V Fraassen
- V Fraassen
- V Fraassen
- V Fraassen
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/2001
- Field of study